พิสูจน์ตรรกศาสตร์

[MSO]

ช่วยหน่อย
P--->(q--->r)
สมมูลกับ
(P--->q)--->(P--->r)

[nongtum]

ข้อนี้ ถ้าไม่ใช้ตาราง ทำจากขวามาซ้ายจะง่ายกว่าครับ

ถ้าเริ่มไม่ถูกจริงๆ ค่อยกดดูนะครับ

$\begin{array}{rcl}
RHS &\equiv& \sim (\sim p\vee q) \vee (\sim p \vee r) \\
&\equiv& [ \sim p \vee (p\, \wedge \sim q)] \vee r \\
\end{array}$
จากนั้น กระจายเทอมในวงเล็บ และใช้ข้อเท็จจริงที่ว่า $p \vee \sim p$ เป็นจริงเสมอ ก่อนจัดเทอมต่ออีกสองสามบรรทัดครับ

[MSO]

555+ออๆคิดออกแล้วจากหลังมาหน้า- -"
แต่ครูให้คิดจากหน้ามาหลัง- -"แต่ปล่อยๆไป- -"