แบบทดสอบ
					       	         นิเสธตัวบ่งปริมาณ

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