שינויים

*הוכח באמצעות טבלאות אמת שניתן להציג את הקשרים 'גרירה' ו'וגם' באמצעות 'או' ושלילה בלבדהוכח אחד או יותר מבין טאוטולוגיות הבאות (נציג בהזדמנות זאת את המושג טאוטולוגיה)* <math>\ \neg\neg A \equiv A</math>* <math>\ (A\rightarrow B) \equiv ((\neg A) \vee B)</math>.* <math>\ (A \leftrightarrow B) \equiv ((A \wedge B)\vee((\neg A)\wedge (\neg B)</math>.* <math>\ (A \leftrightarrow B) \equiv (A \rightarrow B) \wedge (B \rightarrow A)</math>.* <math>\ (A \rightarrow B) \equiv ((\neg B) \rightarrow (\neg A))</math>.