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

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

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

ตัวอย่างประพจน์ที่สมมูลกันที่ควรทราบ มีดังนี้
p q สมมูลกับ q p
p q สมมูลกับ q p
(p q) r สมมูลกับ p (q r)
(p q) r สมมูลกับ p (q r)
p (q r) สมมูลกับ (p q) ( p r)
p (q r) สมมูลกับ (p q) ( p r)
p  q สมมูลกับ ~p q
p  q สมมูลกับ ~q  ~p
p q สมมูลกับ (p  q) (q  p)

ประพจน์ที่เป็นนิเสธกัน
ประพจน์ 2 ประพจน์เป็นนิเสธกัน ก็ต่อเมื่อ ประพจน์ทั้งสองมีค่าความจริงตรงข้ามกันทุกกรณีของค่าความจริงของประพจน์ย่อย
ตัวอย่างประพจน์ที่เป็นนิเสธกันที่ควรทราบ มีดังนี้
~(p q) สมมูลกับ ~p ~q
~(p q) สมมูลกับ ~p ~q
~(p  q) สมมูลกับ p ~q

About these ads

ใส่ความเห็น

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / เปลี่ยนแปลง )

Twitter picture

You are commenting using your Twitter account. Log Out / เปลี่ยนแปลง )

Facebook photo

You are commenting using your Facebook account. Log Out / เปลี่ยนแปลง )

Google+ photo

You are commenting using your Google+ account. Log Out / เปลี่ยนแปลง )

Connecting to %s