אם-אז – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ ←‏מרכיבי התנאי: כמו בוויקי' האנגלית
קו תחתון במרחב הערכים
שורה 30:
{{-}}
 
בשפה הטבעית רגילים ליחס לקשר הגרירה משמעות של [[סיבתיות|סיבה ותוצאה]]: {{ציטוטון|וְאִם־בְּזֹאת, לֹא תִשְׁמְעוּ לִי; וַהֲלַכְתֶּם עִמִּי בְּקֶרִי [אז] וְהָלַכְתִּי עִמָּכֶם בַּחֲמַת־קֶרִי; וְיִסַּרְתִּי אֶתְכֶם אַף־אָנִי, שֶׁבַע עַל־חַטֹּאתֵיכֶם|[[ספר ויקרא|ויקרא]], פרק כ"ו, פס' כ"ח-כ"ט}}. ואולם, מבחינה לוגית ערך האמת של פסוק התנאי תלוי רק בערכי האמת של שני המרכיבים, {{קו תחתון|'''ולא ביחס הסיבתי ביניהם}}'''. לפיכך, '''תוצאה''' המצביע על '''[[כשל לוגי|כשל]]''' נגרמת כאשר התנאים מתקיימים, ואילו התוצאה אינה מתקיימת (אפשרות 2 בטבלת האמת). למשל אם יורד גשם אנחנו נרטב. אם אכן יורד גשם ואנחנו לא נרטבים סימן שיש כשל בהגדרה.
 
'''תוצאה [[תקפות (לוגיקה)|תקפה]]''' תתקיים כשאר הפסוק הוא בעל [[ערך אמת|ערך "אמת"]] אם התוצאה אמיתית, [[או (לוגיקה)|או]] אם התנאי שקרי.