pat1 ตรรกศาสตร์

ตรวจสอบสัจนิรัน ของ [(p->q)^(q->r)]<->p->r)  โดยผมใช้วิธีตรวจสอบการสมมูล เลยจะตรวจสอบฝั่งซ้ายแล้วฝั่งซ้าย ผมใช้หลักที่แบบ เหตุ 1.p->q 2.q->r ผล p->r ได้มั้ยอะครับ มันดูเป็บแบบเหตุข้อ1.และ2  😐