แบบทดสอบ
				 		สมมูลตัวบ่งปริมาณ

ตรรกศาสตร์เบื้องต้น			ประโยคในข้อใดต่อไปนี้สมมูลกัน				
ตัวบ่งปริมาณตัวเดียว 			   1. ~[P(x) v Q(x)]		กับ     ~P(x) ^ ~Q(x)      					
บทนิยามตัวบ่งปริมาณตัวเดียว		   2.  x[P(x) ^ Q(x)]		กับ      x[Q(x) ^ P(x)]
แบบทดสอบ1			   3.  x[P(x)] ^  x[Q(x)]	กับ      x[Q(x)] ^  x[P(x)]
เฉลยตัวบ่งปริมาณตัวแปรเดียว		   4.  x[P(x)] =>  x[Q(x)]	กับ     ~ x[Q(x)] => ~ x[P(x)] 	 	
สมมูลตัวบ่งปริมาณ			   5.  x[~P(x) => Q(x)]	กับ      x[P(x) ^ ~Q(x)]
เฉลยสมมูลตัวบ่งปริมาณ 
นิเสธตัวบ่งปริมาณ 
แบบทดสอบ3
การพิจารณาจากบทนิยาม