ווען מען זאגט אַן ״אויב-דעמאלטס״, והיינו ״←״, זאץ, דאן אויב איז די ערשטע חלק פאלש איז אטאמאטיש די גאנצע זאץ בעצם אמת. עס איז אבער א
וועקיוּאָס אמת וועלכע זאגט גארנישט.
לדוגמא, אויב זאגט מען ״אויב איז וויליאמסבורג אין פראנקרייך, דאן איז בארא פארק אין יאפאן״ איז דאס בעצם אַן אמת׳ע זאץ על הכלל כולו. די ערשטע חלק פון ״וויליאמסבורג איז אין פראנקרייך״ איז פאלש, וממילא איז די ״דאן״ חלק וואס קומט דערנאך גייט מיר נישט אָן - די זאץ איז בעצם אמת נאר עס איז גערעדט אין דער וועלט אריין. מ׳קען דאס טרעפן אינעם אלגעמיינער וועג וויאזוי מענטשן רעדן אויף ארויסצוברענגען א פונקט שטארק איבער אַן אי-מציאות וכדומה. דאס זעלבע וואלט געווען אויב זאגט מען ״אויב איז וויליאמסבורג אין פראנקרייך, דאן איז בארא פארק אין ברוקלין״, וואו די צווייטע חלק איז טאקע אמת. די גאנצע זאץ על הכלל ווערט בעצם אמת, איינמאל די ערשטע חלק איז פאלש און עס זאגט מיר שוין גארנישט - די צווייטע חלק קען שוין אטאמאטיש ממילא נישט חל זיין אויף צו זאגן צי די זאץ על הכלל איז פאלש. ס׳איז כעין אמת וויבאלד מ׳האט נישט קיין וועג אפצופרעגן וויאזוי די מסקנא איז תלוי אינעם אנפאנג.
די איינציגסטע מאל אזא זאץ איז פאלש, איז ווען די ערשטע חלק איז אמת אבער די צווייטע איז פאלש. דעמאלטס קען מען זעהן ווי די מסקנא איז טאקע אומאפהענגיק פונעם התחלה וואס מ׳קען דאך וועריפייען וויבאלד ס׳איז אמת.
דאס ברענגט פּאראדאקסן און שוועריקייטן אין צאמשטעלן לאגישע זאצן מיט וויאזוי נאטורליכע שפראך ארבעט. לדוגמא, לפי הנ״ל וועט דאך די זאץ פון ״אויב די נאציס וואלטן געוואונען די צווייטע וועלט קריג, דאן וואלט יעדער געווען פרייליך״ איז אמת לפי הנ״ל. טאקע ליידיג אבער פארט אמת. וכמובן שטימט דאך עפעס נישט דא.
ועפי״ז האט פראפעסאר דאָראָטי עדזשערטאן געמאכט א הומאריסטישע ארגומענט למציאות הא-ל וועלכע איז בעצם א
וואלידע ארגומענט. עס גייט:
אויב איז נישטא קיין ג-ט, דאן איז נישט אמת אז טאמער איך דאווען ווערן מיינע תפילות נענה.
איך דאווען נישט.
∵
ג-ט עקזיסטירט.
דאס ארבעט אז מ׳שטעלט דאס אויס אזוי ווי:
ג׳ = ג-ט
ד׳ = דאווען
נ = נענה
און די ארגומענט איז סימבאליש:
~ג׳ ← ~(ד׳ ← נ׳)
~ד׳
∵
ג׳
וויבאלד איך ווייס דאך פונעם צווייטן הנחה אז ד׳ איז פאלש; עס איז דאך ~ד׳ (מיינענדיג
נישט אמת אז ד׳). וממילא איז די אימפּליקעישאן/אויב-דאן זאץ אין די מסגריים אטאמאטיש אמת כנ״ל. וואס דאן איז דאך די נעגעישאן דערפון אינעם ערשטן הנחה
נישט אמת. און אויב איז דאס נישט אמת, אבער על הכלל איז דאך די גאנצע זאץ פונעם ערשטן הנחה יא אמת, דאן מוז ע״כ זיין אז די ערשטע חלק פון ~ג׳ איז אויך נישט אמת (כדי צו ראטעווען די אמת
פונעם גאנצן זאץ). וממילא מוז ע״כ זיין אז ג׳ איז אמת…
עכ״פ דאס נעקסטע מאל מ׳זעהט איינער וואס דאווענט נישט, זאל מען אים דן לכף זכות זיין אז ער איז דאדורך מוכיח מציאות הא-ל…
דאס געבט א נייעם באדייט אין דעם (עירובין סה.) יכול אני לפטור את כל העולם מדין תפילה…
כמובן, איז די פעהלער אין דעם אט די מיסמעטש הנ״ל צווישן לאגישע זאצן און נאטורליכע שפראך, און דאס פראבלעם אין דעם פון טאקע אמת אבער ״ליידיג״. (די
חותמו של הקב״ה שהוא אמת, מוז זיין אַן אמת ״מלא״…) לדוגמא, מ׳קען פונקט אזוי אויפווייזן אויף פארקערט אויב זאגט מען:
אויב ג-ט עקזיסטירט דאן איז עס נישט אמת אז טאמער איך דין אים וועל איך גיין אין גיהנום
איך דין אים נישט
∵
ג-ט עקזיסטירט נישט
דאס איז ווייל עס ווערט אויסגעשטעלט סימבאליש כזה, וואו ד׳ איז דינען און גה׳ איז גיין אין גיהנום:
ג׳ ← ~(ד׳ ← גה׳)
~ד׳
∵
~ג׳
און די לאגיק איז גענוי ווי פריער.
ווי אויך קומט עס אויס פון דעם אז וויבאלד די זאץ פון ״א׳ ← ב׳״, איז נאר פאלש אויב איז א׳ אמת און ב׳ פאלש, אז עס איז דאס זעלבע ווי די זאץ ״~א׳ v ב׳״. וויבאלד די זאץ פון ״~א׳ v ב׳״, וואס איז אַן
אינקלוּסיוו דיסדזשאָנקשען וואו ביידע קענען זיין אמת, איז אויך
נאר פאלש אויב זענען
ביידע, סיי א׳ און סיי ב׳, פאלש. וממילא אז עס איז ~א׳ v ב׳, והיינו
נישט א׳ אדער ב׳, איז דאס
נאר פאלש טאמער עס איז
יא א׳ און
נישט ב׳, כמו ווען איך זאג ״אויב א׳ דעמאלטס ב׳״ וכנ״ל אז עס איז
נאר פאלש טאמער עס איז
יא א׳ און
נישט ב׳.