ถามการบ้านเรื่องตรรกศาสตร์

ข้อ 3

รู้ว่า p เป็นจริง ดูทีละท่อนนะ
(q p)
(q F)
คิดตามค่ะ เชื่อมด้วย ถ้า...แล้ว จะเป็นเท็จกรณีเดียว คือ TF
ดังนั้น ถ้า q เป็น T ค่าความจริงของวงเล็บนี้จะเป็น F
         ถ้า q เป็น F ค่าความจริงของวงเล็บนี้จะเป็น T

แปลว่า ค่าความจริงของวงเล็บนี้ ได้เป็น q    เก็บไว้ก่อน

--------------
วงเล็บต่อมา
r p
r T
คิดตามค่ะ เชื่อม ถ้า...แล้ว ตัวหลังเป็น T แบบนี้ ไม่ว่า r จะมีค่าความจริง
เป็นอะไรก็ตาม ออกมาได้ T เสมอ สรุปวงเล็บนี้ได้ T

เอา 2 วงเล็บที่ทำไปแล้วมาเชื่อมกัน
q T
คิดตามนะ เชื่อมด้วย และ ถ้าเป็นเท็จตัวนึงก็เท็จเลย ดังนั้นข้างที่เป็นจริง
ไม่ต้องสนใจเลย ค่าความจริงขึ้นอยู่กับ q    เก็บไว้ก่อน

-------------------
วงเล็บหลังสุด
pq
Tq
เชื่อมด้วย หรือ เป็นจริงตัวนึงก็ จริงเลย งั้นวงเล็บนี้ออกมาเป็น T ค่ะ

สรุป จะเหลือเป็น
q T
เชื่อมด้วย ถ้า...แล้ว หลังเป็นจริง ยังไงก็ได้ T ค่ะ
สรุปประพจน์นี้ ค่าความจริงเป็น T


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

อีกข้อ ลองทำนะ คล้ายๆ กับข้อนี้เลย