โรงเรียนบางละมุง
ใบความรู้ท ี่่11 เรื่องการนิเสธของประพจน์
ดำเนินการสอนโดย อ.เอก ต้นแก้ว

การนิเสธของประพจน์

ประพจน์	นิเสธ
p ~p p Ù q p Ú q p Þ q   p Û q	~p ~ (~p) = p ~ (p Ù q) = ~q Ú ~q ~ (p Ú q) = ~q Ù ~q ~ (q Þ q) = ~ (~p Ú q)                  = p Ù ~q ~ (p Û q ) = ~[(p Þ q) Ù (q Þ p)]                   = ~ [(~p Ú q) Ù (~q Ú p)]                   = (p Ù ~q) Ú (q Ù ~p)

       หมายเหตุ

             1) p Þ q มีค่าความจริงเหมือนกับ ~p Ú q , ~q Þ ~p

             2) q Û q มีค่าความจริงเหมือนกับ (p Þ q) Ù (q Þ p), (~p Ú q) Ù (~q Ú p)