ช่วยสอนวิธีคิดหน่อยคร้าบ ผมทำไม่เป็น ตรรกศาสตร์ครับ

[gnap]

เหตุ 1ถ้าโสภาเรียนหมอ แล้วโสภณจะเรียนวิศวะ
2โสภีไม่เรียนบัญชี
3ถ้าโสภาไม่เรียนหมอ แล้วโสภิณไม่เรียนเศรษฐศาสตร์
4โสภิณเรียนเศรษฐศาสตร์หรือโสภีเรียนบัญชี
ผลp
Pแทนประพจจน์ในข้อใดต่อไปนี้ จึงทำให้การอ้างเหตุผลข้างต้นสมเหตุสมผล
1 โสภาเรียนหมอ
2 โสภณเรียนวิศวะ
3 โสภีเรียนบัญชี
4 โสภิณเรียนเศรษฐศาสตร์

[yellow]

q = โสภาเรียนหมอ

r = โสภณเรียนวิศวะ

s = โสภีเรียนบัญชี

t = โสภิณเรียนเศรษฐศาสตร์



$[(q\rightarrow r) \bigwedge (\sim s) \bigwedge (\sim q \rightarrow \sim t) \bigwedge (t \bigvee s)] \rightarrow p$


เช็คสัจนิรันดร์ จะเห็นว่า

$\sim s = T \therefore s = F$

$(t \bigvee s) = T \therefore t = T$

ดังนั้น ถ้าเราให้ $p = t$ จะได้ $t = F$ ซึ่งขัดแย้งกัน


$[(q\rightarrow r) \bigwedge (\sim s) \bigwedge (\sim q \rightarrow \sim t) \bigwedge (t \bigvee s)] \rightarrow t$

[gnap]

ขอบคุณมากครับ

แต่ผมยังไม่ค่อยเข้าใจสองบรรทัดสุดท้ายน่ะครับ

ช่วยอธิบายหน่อยได้ไหมครับ

[yellow]

มันเป็นวิธีทดสอบความสมเหตุสมผลครับ คือ ให้สมมติว่าประพจน์เป็นเท็จก่อน ถ้ามีข้อขัดแย้งก็แสดงว่าประพจน์นี้ไม่เป็นเท็จ แต่ถ้าไม่มีข้อขัดแย้งก็แสดงว่ามันเป็นเท็จตามที่เราสมมติไว้

[gnap]

ตามที่ผมเข้าใจ คือ ตอนแรกให้นำเหตุมาใส่^แล้วให้ทุกประพจน์เป็นจริง จากนั้นลองสมมุติผล ใช่ไหมครับ?