שינויים

חשוב גם להכיר סתירות בסיסיות:

*<math>P\and \neg P</math>

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

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