ประโยคเปิดและตัวบ่งปริมาณ
Airly Hahaにより
1. ประโยคเปิด
1.1. บทนิยาม
1.1.1. ประโยคเปิด คือ ประโยคบอกเล่า หรือประโยคปฏิเสธที่ประกอบด้วยตัวแปรทำให้ไม่เป็นประพจน์ และเมื่อแทนที่ตัวแปรด้วยสมาชิกในเอกภพสัมพัทธ์แล้วจะได้ประพจน์
1.1.2. ตัวอย่าง
1.1.2.1. เขาเป็นคนดี ⇒ เป็นประโยคเปิดที่ประกอบด้วยตัวแปร “เขา”
1.1.2.2. x > 3 ⇒ เป็นประโยคเปิดที่ประกอบด้วยตัวแปร “x”
2. ตัวบ่งปริมาณ
2.1. ตัวบ่งปริมาณมี 2 ชนิด คือ
2.1.1. ตัวบ่งปริมาณที่กล่าวถึง “สมาชิกทุกตัวในเอกภพสัมพัทธ์” ซึ่งเขียนแทนได้ด้วยสัญลักษณ์ “∀” อ่านว่า”สำหรับสมาชิก x ทุกตัว”
2.1.2. ตัวบ่งปริมาณที่กล่าวถึง “สมาชิกบางตัวในเอกภพสัมพัทธ์ ซึ่งเขียนแทนได้ด้วยสัญลักษณ์ “∃” อ่านว่า “สำหรับสมาชิก x บางตัว”