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