לוגיקה - מבוא... מקשר בין שני פסוקים. לדוגמה, הפסוק המורכב P to Q מייצג את הטענה אם הגביע הוא שלנו אז אנחנו במפה. תנאי כפול (אם - ורק - אם): leftrightarrow - קשר בינארי, מקשר בין שני פסוקים. לדוגמה, הפסוק המורכב P leftrightarrow Q מייצג את הטענה הגביע הוא שלנו אם ורק אם אנחנו במפה. הסמנטיקה של הקשרים הקלסיים ... (NOR). למשל, באמצעות התנאי והשלילה, נביע את הקשרים האחרים כך: a lor b מוגדר כ - neg a to ba land b מוגדר כ - neg(a to neg b) a leftrightarrow b מוגדר כ - neg((a to b) to neg (b to a)) סמנטיקה לתחשיב הפסוקים במסגרת הסמנטיקה ... מתחשיב הפסוקים (או בחלק מהם, ובלבד שתיווצר קבוצה שלמה של קשרים באמצעותה ניתן להביע כל פעולה בוליאנית): neg, to, land, vee, leftrightarrow. בנוסף מופיעים בתחשיב שני כמתים, exists הוא הכמת הישי, המביע שפרדיקט מסוים מחזיר ... נוסחה בנויה היטב, אזי neg היא נוסחה בנויה היטב 4.אם ו - נוסחאות בנויות היטב, אז לכל קשר Omega כך ש Omega in { to, land, vee, leftrightarrow }, הרי ש ( Omega) היא נוסחה בנויה היטב (דהיינו עבור כל שני פסוקים אטומים, הצבתו ...