ปัญหาตรรกศาสตร์นิดหน่อย

อินดี้มาเอง · #1 22 สิงหาคม 2008, 05:00

โจทย์ถามว่า ~[p→(pVq)] เป็นสัจนิรันหรือไม่

อยากทราบว่าขั้นตอนการทำแบบไหนถูกต้อง
แบบที่ 1.
~[p→(pVq)]
= ~pV(pVq)

แบบที่ 2.
~[p→ (pVq)]
= ~[~pV(pVq)]
= p^(~p^~q)

ถ้าทั้ง 2 แบบผิดช่วยแก้ให้ด้วยครับบ
ขอบคุณมากๆๆเลยครับ

nooonuii · #2 22 สิงหาคม 2008, 13:05

แบบแรกผิดครับ

จริงๆแล้ว $P\to (P\vee Q)$ เป็นสัจนิรันดร์ เรียกว่า กฎการเติม

อินดี้มาเอง · #3 22 สิงหาคม 2008, 22:00

ขอบคุณคครับ
เข้าใจแล้ว