ตรรกศาสตร์
ประพจน์ คือ ประโยคหรือข้อความที่เป็นประโยคบอกเล่าหรือปฏิเสธ ที่เป็นจริงหรือเท็จอย่างใดอย่างหนึ่ง
รูปแบบประพจน์ที่สมมูลกัน
1. ~(~p) ≡ p
2. p^q ≡ q^p
3. p v q ≡ q v p
4. p v (q^r) ≡ (p v q) ^ (p v r)
5. p^ (q v r) ≡ (p^q) v (p^r)
6. p→q ≡ ~p v q
7. p→q ≡ ~q→~p
8. p↔q ≡ (p→q) ^ (q→p)
9. ~ (p v q) ≡ (~p)^(~q)
10. ~ (p^q) ≡ ~p v~q
ไม่มีความคิดเห็น:
แสดงความคิดเห็น