ข้อความดังกล่าวสมเหตุสมผลหรือไม่(ตรรกศาสตร์)

เผอิญไปฟังเพลงมา ติดใจเพลงท่อนหนึ่งที่ว่า "เมียมีเมียพี่ต้องมา ถ้ามีไม่มาก็เพราะว่าเมียไม่มี"
อยากทราบว่าข้อความดังกล่าวสมเหตุสมผลทางตรรกศาสตร์หรือไม่
คำตอบที่ได้รับเลือกจากเจ้าของกระทู้
ความคิดเห็นที่ 3
พี่มีเมีย = p
เมียพี่มา = q
เมียมีเมียพี่ต้องมา ถ้าเมียไม่มาก็เพราะว่าเมียไม่มี = (p → q ) → ( ~q → ~p)
= (p → q ) → (p → q )
เป็นสัจจะพจน์นิรันดร์
แสดงความคิดเห็น
โปรดศึกษาและยอมรับนโยบายข้อมูลส่วนบุคคลก่อนเริ่มใช้งาน อ่านเพิ่มเติมได้ที่นี่