# 2ปรนัยจงตรวจสอบว่า (p→q)⇔(q→p)\left(p\rightarrow q\right)\lrArr\left(q\rightarrow p\right)(p→q)⇔(q→p)เป็นสัจนิรันดร์หรือไม่เป็นสัจนิรันดร์ไม่เป็นสัจนิรันดร์
# 3ปรนัยจงตรวจสอบว่า [(p→\rightarrow→q)Λ\LambdaΛ~q]→\rightarrow→~p เป็นสัจนิรันดร์หรือไม่เป็นสัจนิรันดร์ไม่เป็นสัจนิรันดร์
# 4ปรนัยจงตรวจสอบว่า (p V q) V (q→\rightarrow→p) เป็นสัจนิรันดร์หรือไม่เป็นสัจนิรันดร์ไม่เป็นสัจนิรันดร์