สัญลักษณ์
p ↔ q
อ่านว่า “p ก็ต่อเมื่อ q” ประพจน์นี้เป็นจริงเมื่อ p และ q มีค่าความจริงเหมือนกัน และเป็นเท็จเมื่อค่าความจริงแตกต่างกัน
ตารางค่าความจริง
| p | q | p ↔ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
ประพจน์แบบ “p ก็ต่อเมื่อ q”
อ่านว่า “p ก็ต่อเมื่อ q” ประพจน์นี้เป็นจริงเมื่อ p และ q มีค่าความจริงเหมือนกัน และเป็นเท็จเมื่อค่าความจริงแตกต่างกัน
| p | q | p ↔ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |