* <math>\ A \vee \neg A</math> (זהו "כלל השלישי הנמנע": או שהתפוח אדום או שאינו אדום (כמובן, בתנאי שמגדירים היטב מתי תפוח הוא אדום));
* <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> (זוהי בדיוק הטענה לפי מותר לחלק למקרים)