สัญลักษณ์
p → q
อ่านว่า “ถ้า p แล้ว q” โดย p เป็นเหตุหรือเงื่อนไข และ q เป็นผลตามเงื่อนไข ประพจน์นี้จะเป็นเท็จเฉพาะกรณีที่ p เป็นจริง แต่ q เป็นเท็จ
ตารางค่าความจริง
| p | q | p → q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
จุดที่ควรจำ: เงื่อนไข p → q ไม่เป็นจริงอยู่เพียงกรณีเดียว คือเหตุเกิดขึ้น (p จริง) แต่ผลไม่เกิดขึ้น (q เท็จ)
← กลับหน้าตัวเชื่อม