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