שינויים
/* טבלאות אמת */
* <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> (זוהי בדיוק הטענה לפי מותר לחלק למקרים)
אפשר להמציא עוד טאוטולוגיות כהנה וכהנה.
