שינויים

*<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>