|
สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
#1
|
||||
|
||||
พิสูจน์ตรรกศาสตร์
ช่วยหน่อย
P--->(q--->r) สมมูลกับ (P--->q)--->(P--->r) |
#2
|
||||
|
||||
ข้อนี้ ถ้าไม่ใช้ตาราง ทำจากขวามาซ้ายจะง่ายกว่าครับ
$\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$ เป็นจริงเสมอ ก่อนจัดเทอมต่ออีกสองสามบรรทัดครับ
__________________
คนไทยร่วมใจอย่าใช้ภาษาวิบัติ ฝึกพิมพ์สัญลักษณ์สักนิด ชีวิต(คนตอบและคนถาม)จะง่ายขึ้นเยอะ (จริงๆนะ) Stay Hungry. Stay Foolish. |
#3
|
||||
|
||||
555+ออๆคิดออกแล้วจากหลังมาหน้า- -"
แต่ครูให้คิดจากหน้ามาหลัง- -"แต่ปล่อยๆไป- -" |
|
|