... 2) חוק השלישי הנמנע - לפיו טענה יכולה להיות או אמיתית או שקרית, ואין שום אפשרות ביניים שלישית. מכאן, שהלוגיקה בוחנת טענות אך ורק אם יש להן אחת משני ערכי אמת:
אמת ושקר. טענות שאינן כאלו אינן מעניינה של הלוגיקה; ובאשר לטענות שהלוגיקה כן עוסקת בהן, אין אופציה נוספת. לא תיתכן טענה שאינה אמת ואינה שקר, ולכן ... מחזירה פסוק שקרי עבור כל פסוק אמיתי אליו היא מקושרת, ומחזירה פסוק שקרי עבור כל פסוק אמיתי. נוח לייצג פונקציות אמת באמצעות טבלת אמת, בהן T ו - F מייצגים את הערכים
אמת ושקר, בהתאמה (באלגברה בוליאנית יוחלפו אלו בערכים 1 ו - 0 בהתאמה). בטורים הימניים של הטבלה אנו ממצים את כלל הצירופים האפשריים של ערכי האמת הניתנים ...