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