ตรรกศาสตร์เบื้องต้น

ตัวบ่งปริมาณตัวเดียว 						ประพจน์
บทนิยามตัวบ่งปริมาณตัวเดียว			ประพจน์(statement or proposition) คือ ประโยคที่บอกค่าความจริง 
แบบทดสอบ1			(truth value)ได้ว่าเป็นจริง (true) หรือ เท็จ (False) เพียงอย่างใดอย่างหนึ่งเท่านั้น
เฉลยตัวบ่งปริมาณตัวแปรเดียว		โดยทั่วไปจะใช้อักษรภาษาอังกฤษแทนประพจน์
สมมูลตัวบ่งปริมาณ
แบบทดสอบ2 					             ตัวบ่งปริมาณ
เฉลยสมมูลตัวบ่งปริมาณ				ในวิชาคณิตศาสตร์จะพบว่ามีการใช้ข้อความ สำหรับ x ทุกตัว และ สำหรับ x บางตัว 
นิเสธตัวบ่งปริมาณ			เรียก " สำหรับ …ทุกตัว " และ " สำหรับ…บางตัว " ว่า " ตัวบ่งปริมาณ " แทนด้วย
แบบทดสอบ3		   	 สัญลักษณ์   ,   ตามลำดับ
การพิจารณาจากบทนิยาม			 x  แทน สำหรับ x ทุกตัว
					 x  แทน สำหรับ x บางตัว ( มีน้อยกว่า 1 )
					 แทน เอกภพสัมพัทธ์
					 R แทน เซตของจำนวนจริง
					 Q แทน เซตของจำนวนตรรกยะ
					 I  หรือ Z แทน เซตของจำนวนเต็ม
					 N แทน เซตของจำนวนนับ

				     การเขียนสัญลักษณ์แทนประโยคเปิดที่มีตัวบ่งปริมาณ เราจะต้องเขียนเอกภพสัมพัทธ์
				กำกับไว้เสมอ เพื่อจะได้ทราบขอบเขตของตัวแปรว่าแทนสิ่งใด แต่ในกรณีที่เอกภพสัมพัทธ์
				เป็นเซตของจำนวนจริง มักนิยมละการเขียนเอกภพสัมพัทธ์ นอกจากนี้ในการศึกษาเกี่ยวกับ
				เซตนิยมละการเขียนเอกภพสัมพัทธ์เช่นเดียวกัน