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