ตรรกศาสตร์ ตอนที่ 2

สัจนิรันดร์และความขัดแย้ง

สัจนิรันดร์ คือ ประพจน์ที่มีค่าความจริงทุกกรณี  ตัวอย่าง    

  1. จงเขียนตารางค่าความจริง ของประพจน์ต่อไปนี้ 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) เป็นสัจนิรันดร์

ความขัดแย้ง

ความขัดแย้ง คือ ประพจน์ที่มีค่าความจริงเป็นเท็จทุกกรณี  ตัวอย่าง    

  1. จงเขียนตารางค่าความจริง ของประพจน์ต่อไปนี้ (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) เป็นสัจนิรันดร์