שינויים
/* דרכי הוכחה */
===דרכי הוכחה===
הוכח שהפסוקים הבאים הינם טאוטולוגיות:
*<math>(A\Rightarrow rightarrow B) \iff (\neg B \Rightarrow rightarrow \neg A)</math>*<math>A \iff(\neg A \Rightarrow rightarrow F)</math>*<math>(A\lor B) \iff(\neg A \Rightarrow rightarrow B)</math>