1. ประพจน์ที่สมมูลกัน

ประพจน์ที่สมมูลกัน หมายถึง ค่าความจริงของประพจน์ 2 ประพจน์ที่มีค่าความจริงเหมือนกันทุกกรณี

สัญลักษณ์ของประพจน์ที่สมมูลกัน คือ

สัญลักษณ์ของประพจน์ที่ไม่สมมูลกัน คือ

ตัวอย่าง (P↔ Q) กับ (P→Q) ⋀ (Q→P)

ตรรกศาสตร์คอมพิวเตอร์ ตอนที่ 4

  1. การเชื่อมประพจน์ 3 ประพจน์ การเชื่อมประพจน์ กรณี 3 ประพจน์จะมีค่าความจริง ที่แสดงได้ 23 = 8 กรณี

ตัวอย่าง [(P⋀ Q) ↔ (R V~(P→Q)) ]

ตารางค่าความจริง

P

Q

R

(P→Q)

~(P→Q)

(R V~(P→Q))

[(P⋀ Q)

[(P⋀ Q) ↔ (R V~(P→Q)) ]

 T 

 T 

 T 

 T

 F

T

T

T

 T

 T

 F

  T

   F

     F

   T

           F

 T

 F

 T

  F

  T

     T

   F

           F

 T

 F

 F

  F

  T

     T

   F

           F

 F

 T

 T

  T

  F

     T

   F

           F

 F

 T

 F

  T

  F

     F

   F

           T

 F

 F

 T

  T

  F

     T

   F

           F

F

F

F

T

F

F

F

T

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

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

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

  1. จงเขียนตารางค่าความจริง ของประพจน์ต่อไปนี้ P→(PvQ)