שינויים

<math>A_n\rightarrow A_1</math>

הוכח שהפסוקים הבאים הינם טאוטולוגיות:

*<math>(A\rightarrow B) \leftrightarrow (\neg B \rightarrow \neg A)</math>

(נהוג להחליף ביטויים מהצורה הזו בביטויים השקולים להם כי הם נוחים יותר להוכחה מידי פעם.)

=תרגיל שני=