טבלת אמת – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Yoni220905 (שיחה | תרומות) |
מ ←פתיח |
||
שורה 1:
'''טבלת אמת''' היא [[טבלה]] שמשמשת ב[[לוגיקה בוליאנית]] וב[[תחשיב הפסוקים]] כדי להציג את כל הערכים האפשריים ש[[ביטוי (מתמטיקה)|ביטוי]] מסוים יכול לקבל, בהתאם לערכים האפשריים של מרכיבי הביטוי, והיא מאפשרת לדעת מתי טיעון הוא [[תקפות (לוגיקה)|תקף]].
טבלאות אמת מראות את הערכים שמתקבלים כאשר מבצעים [[פעולה בוליאנית|פעולות בוליאניות]] על ביטויים לוגיים, כלומר כאשר ה[[קשר לוגי|קשרים הלוגיים]] נתפסים כפונקציות של ערכי האמת של הפסוקים שהם מקשרים. הפעולות הלוגיות הנחשבות סטנדרטיות הן ה[[NOT לוגי|שלילה]], הקוניונקציה "[[AND לוגי|וגם]]", הדיסיונקציה "[[OR לוגי|או]]", פעולת התנאי או הגרירה ("[[אם-אז]]"), ופעולת התנאי הכפול ("[[אם ורק אם]]").
טבלאות האמת הופיעו לראשונה בעבודותיהם של [[גוטלוב פרגה]], [[צ'ארלס פירס]] ואחרים מ[[שנות ה-80 של
הן שימושיות במיוחד הן לשם חישוב תוצאותיהם של ביטויים בוליאנים, הן ככלי סמנטי עבור [[תחשיב הפסוקים]], הן ככלי להוכחת [[תקפות (לוגיקה)|תקפותם]] של טיעונים בתחשיב זה.{{ש}}{{ש}}▼
▲הן שימושיות במיוחד הן לשם חישוב תוצאותיהם של ביטויים בוליאנים, הן ככלי סמנטי עבור [[תחשיב הפסוקים]], הן ככלי להוכחת [[תקפות (לוגיקה)|תקפותם]] של טיעונים בתחשיב זה.
==טבלאות אמת בסמנטיקה של תחשיב הפסוקים==
| |||