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

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