จากแผนภาพ แสดงว่า รูปแบบของประพจน์ [( p → q ) ∧ p] → q เป็นสัจนิรันดร์ ดังนั้น การอ้างเหตุผลนี้สมเหตุสมผล
