2. จงตรวจสอบว่ารูปแบบของประพจน์ที่กำหนดให้ในแต่ละข้อต่อไปนี้เป็นสัจนิรันดร์หรือไม่
1) (p→→q)v (q→→p)
2) (pvq)→(p→q)
3) [p^(pvq)] →q
4) (p→q) →(~p^~q)
5) ~p→ (pvq)
6)
(p→q) →(~pvq)
7) (p^q) →(p↔q)
8)
(p→q) → [(pvr) → (qvr)]
9) [p→ (qvr)] → [(p^~q) →r]
10) p→ (p^q)
11) pv P
12) p (p)
13) ~(p^q) → (~pv~q)
14) ~(pvq) → (~p^~q)