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