שינויים
/* טבלאות אמת */
* <math>\ ((A\rightarrow B)\wedge (B\rightarrow C)) \rightarrow (A \rightarrow C)</math> (אם מ-A נובע B ומ-B נובע C, אז מ-A נובע C).
* <math>A\rightarrow (B\rightarrow A)</math> (אם התפוח אדום, אזי כל דבר גורר שהוא אדום).
*<math>\left[ (A\rightarrow B) \and (\neg A \rightarrow B)\right] \leftrightarrow B</math> (כדי להוכיח את B, אפשר להוכיח את הפסוק B בהנחה ש-A, ואחר-כך בהנחה של שלילת A: זוהי בדיוק הטענה לפי מותר לחלק חלוקת הוכחה למקרים)
אפשר להמציא עוד טאוטולוגיות כהנה וכהנה.
