שינויים
/* תרגיל */
טואוטולוגיה כאשר <math>n</math> אי-זוגי.
פתרון: נוכיח באינדוקציה כי לכל <math>n</math> אי-זוגי, הפסוק <math>P_{n}</math>
הוא טואוטולוגיה.בדיקה: עבור <math>n=1</math>, הפסוק הוא <math>A\to A</math>. הוא אכן טואוטולוגיה.
• אם <math>A=F</math>, נקבל <math>(T\to F)\to F\equiv F\to F</math>- אכן אמת.
• אם <math>A=T</math>, נקבל <math>נקבל (T\to T)\to T\equiv T\to T</math> - אכן אמת.
וסיימנו באינדוקציה.
