บทนิยามตัวบ่งปริมาณตัวเดียว

ตรรกศาสตร์เบื้องต้น				ประโยค  [P(x)]  มีค่าความจริงเป็น จริง  ก็ต่อเมื่อ  แทนด้วยตัวแปร x ใน P(x)
ตัวบ่งปริมาณตัวเดียว 			ด้วยสมาชิกแต่ละตัวในเอกภพสัมพัทธ์  แล้วได้ประพจน์ที่มีค่าความจริงเป็นจริงทั้งหมด
แบบทดสอบ1				ประโยค  [P(x)]  มีค่าความจริงเป็น เท็จ  ก็ต่อเมื่อ  แทนด้วยตัวแปร x ใน P(x)
เฉลยตัวบ่งปริมาณตัวแปรเดียว		ด้วยสมาชิกอย่างน้อยหนึ่งตัวในเอกภพสัมพัทธ์  แล้วได้ประพจน์ที่มีค่าความจริงเป็นเท็จ
สมมูลตัวบ่งปริมาณ				ประโยค  [P(x)]  มีค่าความจริงเป็น จริง  ก็ต่อเมื่อ  แทนด้วยตัวแปร x ใน P(x)
แบบทดสอบ2 			ด้วยสมาชิกอย่างน้อยหนึ่งตัวในเอกภพสัมพัทธ์  แล้วได้ประพจน์ที่มีค่าความจริงเป็นจริง
เฉลยสมมูลตัวบ่งปริมาณ				ประโยค  [P(x)]  มีค่าความจริงเป็น เท็จ  ก็ต่อเมื่อ  แทนด้วยตัวแปร x ใน P(x)
นิเสธตัวบ่งปริมาณ			ด้วยสมาชิกแต่ละตัวในเอกภพสัมพัทธ์  แล้วได้ประพจน์ที่มีค่าความจริงเป็นเท็จทั้งหมด
แบบทดสอบ3
การพิจารณาจากบทนิยาม