ตรรกศาสตร์
 

$กำหนดให้ (นิเสธp\rightarrow q)\leftrightarrow q$ มีค่าความจริงเป็นเท็จ
$ 1. p\wedge นิเสธ q มีค่าความจริงเป็นจริง$
$p\rightarrow q มีค่าความจริงเป็นเท็จ$
ผมคิดแล้วมันไม่ตรงเฉลย
หาว่าข้อ1,2จริงหรือเท็จครับ

$$(\sim p \rightarrow q) \leftrightarrow q$$
$$(p\bigvee q) \leftrightarrow q\equiv F$$
$[q\equiv T]\rightarrow [(p\bigvee q) \leftrightarrow q\equiv T]$

$([q\equiv F]\bigwedge [p\equiv T])\rightarrow [(p\bigvee q) \leftrightarrow q\equiv T]$

$\therefore q\equiv F,p\equiv T$

ผมก็งงเฉลยผมบอกผิดทั้งคู่