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