ประพจน์ 'ไม่มีสิ่งใดเป็นทั้งก้าวหน้าและถูกขัดขวาง' สามารถแปลงเป็นตรรกศาสตร์สัญลักษณ์ได้อย่างไร

เฉลยอธิบาย

ประพจน์ 'ไม่มีสิ่งใด' บ่งชี้ถึงการปฏิเสธสากล ดังนั้นจึงแปลเป็น '∀x: ¬(...)' ส่วน 'ทั้งก้าวหน้าและถูกขัดขวาง' คือ 'ก้าวหน้า(x) ∧ ขัดขวาง(x)' ตัวเลือก A ไม่มีการปฏิเสธ C ใช้ Existential quantifier ผิด D ถูกตามกฎ De Morgan แต่ไม่ชัดว่านี่คือการแปลประโยคต้นฉบับ