ตรรกศาสตร์ ตอนที่ 2
สัจนิรันดร์และความขัดแย้ง
สัจนิรันดร์ คือ ประพจน์ที่มีค่าความจริงทุกกรณี ตัวอย่าง
- จงเขียนตารางค่าความจริง ของประพจน์ต่อไปนี้ P→(PvQ)
|
P |
Q |
(PvQ) |
P→(PvQ) |
|
T |
T |
T |
T |
|
T |
F |
T |
T |
|
F |
T |
T |
T |
|
F |
F |
F |
T |
สรุปว่า P→ (PvQ) เป็นสัจนิรันดร์
ความขัดแย้ง
ความขัดแย้ง คือ ประพจน์ที่มีค่าความจริงเป็นเท็จทุกกรณี ตัวอย่าง
- จงเขียนตารางค่าความจริง ของประพจน์ต่อไปนี้ (P∧Q) ∧ (Q→∼P)
|
P |
Q |
(P∧Q) |
∼ P |
(Q→∼ P) |
(P∧Q) ∧ (Q→∼ P) |
|
T |
T |
T |
F |
F |
F |
|
T |
F |
F |
F |
T |
F |
|
F |
T |
F |
T |
T |
F |
|
F |
F |
F |
T |
T |
F |
สรุปว่า P→ (PvQ) เป็นสัจนิรันดร์
