שינויים
/* שקילות */
<math>A_n\rightarrow A_1</math>
==דרכי הוכחה==
הוכח שהפסוקים הבאים הינם טאוטולוגיות:
*<math>(A\rightarrow B) \leftrightarrow (\neg B \rightarrow \neg A)</math>
*<math>A \leftrightarrow (\neg A \rightarrow F)</math>
(נהוג להחליף ביטויים מהצורה הזו בביטויים השקולים להם כי הם נוחים יותר להוכחה מידי פעם.)
