היגיון ערכי אמת

ערך אמת, בלוגיקה, אמת (T או 1) או זיוף (F או 0) של הצעה או אמירה נתונות. ניתן לחשוב על קישוריות לוגיות, כמו הפרדה (מסמל ∨, עבור "או") ושלילה (מסומל ∼), כפונקציות אמת, מכיוון שערך האמת של הצעה מורכבת הוא פונקציה של, או כמות התלויה בה, ערכי האמת של חלקיו המרכיבים.

ניתן לבחון בקלות את ערך האמת של הצהרה מורכבת באמצעות תרשים המכונה טבלת אמת. כל שורה בטבלה מייצגת שילוב אפשרי של ערכי אמת להצעות המרכיב של המתחם, ומספר השורות נקבע על ידי מספר הצירופים האפשריים. לדוגמה, אם המתחם מכיל רק שתי הצעות רכיב, יהיו ארבע אפשרויות וכך ארבע שורות לטבלה. המאפיינים הלוגיים של הקישוריות הנפוצות עשויות להיות מוצגות על ידי טבלאות אמת כדלקמן:

בו · מסמן "ו-" ו- ⊃ מסמל "אם… לאחר מכן." (בטבלה "או", למשל, בשורה השנייה נכתב "אם p הוא נכון ו- q הוא שקרי, אז p ∨ q הוא נכון.") טבלאות אמת בעלות מורכבות רבה בהרבה, אלה עם מספר פונקציות אמת, ניתן לבנות באמצעות מחשב. נבנו מערכות לוגיקה מופשטות המפעילות שלושה ערכי אמת (למשל, נכון, שקר ובלתי מוגדר) או אפילו רבים, כמו בלוגיקה מטושטשת, שבה להצעות יש ערכים בין 0 ל -1.