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