Page 21 - รายงานคอมกลม

จะเห็นว่า p  q กับ (p  ~q)  (q  ~p) ต่างกันทุกกรณี

ดังนั้น p  q กับ (p  ~q)  (q  ~p) เป็นนิเสธกัน

6. ก ถ้า 2 + 1 = 3 แล้ว 3 เป็นจ านวนนับ

ข. 3 ไม่ใช่จ านวนนับ แต่ 2 + 1 = 3

P แทน 2 + 1 = 3

Q แทน 3 เป็นจ านวนนับ

ประโยค ก แทน......... p q................................................

ประโยค ข แทน...........~q  p................................................

P Q p q ~q ~q  p

T T T F F

T F F T T
F T T F F

F F T T F

เป็นนิเสธกัน

7. ก. a เป็นจ านวนคู่และเป็นจ านวนเต็ม
ข. a เป็นจ านวนคี่ หรือไม่ใช่จ านวนเต็ม

P แทน......... a เป็นจ านวนคู่.......................................................................

Q แทน...........a เป็นจ านวนเต็ม....................................................................

ประโยค ก แทน.....p  q.............................................................................................

ประโยค ข แทน.....~ p  ~ q............................................................................................

P q p  q ~p ~q ~ p  ~ q

T T T F F F

T F F F T T

F T F T F T
F F F T T T

เป็นนิเสธกัน