Sea Fri Jun 11, 2010 10:19 pm
ยังไงดีอ่ะ จะเข้าใจป่าวไม่รุ จะมั่งสัญลักษณ์เองตามนี้นะ
/ = ถ้า...แล้ว (ลูกศรทางเดียว)
_ = ก็ต่อเมื่อ (ลูกศรสองหัว)
^ = และ
V = หรือ
= = สมมูลกัน (เท่ากับ 3 ขีดอ่ะ)
ข้อ 7 ใหม่
(p_~q)_(rV~r)
= (p_~q)_T (*1)
= ~pV~q (5)
= ~(p^q) (10)
ประมาณนี้นะ
ข้อ 10 เก่า มันยาวอ่ะเอาเป็นว่าใช้
(2) จะได้ ~F
() เปลี่ยน ~F เป็น T
() ตัด T ออกไปเลย
(5) เปลี่ยน p
(4)
(5)เปลี่ยนสองอันเลย
พอจะเข้าใจป่ะ คือกุขี้เกียจพิมพ์ไง มันพิมพ์ยากอ่ะ
ไม่เข้าใจถามนะ