- ประพจน์ที่สมมูลกัน
ประพจน์ที่สมมูลกัน หมายถึง ค่าความจริงของประพจน์ 2 ประพจน์ที่มีค่าความจริงเหมือนกันทุกกรณี
สัญลักษณ์ของประพจน์ที่สมมูลกัน คือ
สัญลักษณ์ของประพจน์ที่ไม่สมมูลกัน คือ
ตัวอย่าง (P↔ Q) กับ (P→Q) ⋀ (Q→P)
ตารางค่าความจริง
|
P |
Q |
(P↔ Q) |
(P→Q) |
(Q→P) |
(P→Q) ⋀ (Q→P) |
|
T |
T |
T |
T |
T |
T |
|
T |
F |
F |
F |
T |
F |
|
F |
T |
F |
T |
F |
F |
|
F |
F |
T |
T |
T |
T |
สรุปว่า ประพจน์ (P↔ Q) ≡ (P→Q) ⋀ (Q→P)
