นิเสธ (Negation)
ใช้สัญลักษณ์แทน ~ เขียนแทนนิเสธของ Pด้วย ~P ถ้า P เป็นประพจน์นิเสธของประพจน์ P คือประพจน์ที่มีค่าความจริงตรงข้ามกัน P
ตารางแสดงค่าความจริงดั้งนี้
|
P
|
~P
|
|
T
F
|
F
T
|
ตัวอย่าง ถ้า p แทนประโยคว่า "วันนี้เป็นวัน เสาร์" นิเสธของ p หรือ ~p คือประโยคที่ว่า "วันนี้ไม่เป็นวันเสาร์"
สัจนิรันดร์ (Tautology)
และความขัดแย้ง (Contradiction)
1. สัจนิรันดร์ (Tautology) คือ
รูปแบบประพจน์ที่มีค่าความจริงเป็นจริงเสมอโดยไม่ขึ้นอยู่กับค่าความจริงของตัวแปรของแต่ละประพจน์ที่มีรูปแบบเป็นสัจนิรันดร์
เรียกว่า ประพจน์สัจนิรันดร์ (Tautology statement)ตัวอย่างที่ 1 P® PvQเป็นสัจนิรันดร์ เราสามารถพิสูจน์ได้หลายวิธี
|
P
|
Q |
P v Q |
P® PvQ |
|
T
T
F
F
|
T
T
T
F
|
T
T
T
F
|
T
T
T
T
|
จากตารางแสดงค่าความจริงไม่ว่า P และ Q จะเป็นจริงหรือเท็จก็ตาม ประพจน์ P® PvQ เป็นจริงเสมอ ดังนั้นประพจน์นี้เป็น สัจนิรันดร์
2.ความขัดแย้ง (Contradiction) คือ รูปแบบประพจน์ที่มีค่าความจริงเป็นเท็จเสมอโดยไม่ขึ้นอยู่กับค่าความจริงของตัวแปรของแต่ละประพจน์ย่อยประพจน์ที่มีรูปแบบ เป็นความขัดแย้ง เรียกว่า ประพจน์ความขัดแย้ง (Contradicithon statement)
ตัวอย่าง P ^ ~P เป็น ความขัดแย้ง ตารางแสดงค่าความจริง
|
p
|
~P
|
P ^ ~P
|
|
T
F
|
F
T
|
F
F
|
P ^ ~P มีค่าเป็นเท็จ สำหรับทุกๆ ค่าความจริงของ P
ดังนั้น P ^ ~P จึงเป็นความขัดแย้ง (Contradicithon )
ไม่มีความคิดเห็น:
แสดงความคิดเห็น