פּראָפּאָסיטיאָנאַל לאָגיק

צו דעפינירן דעם טערמין "פּראָפּאָסיטיאָנאַל לאָגיק", עס איז נייטיק צו פֿאַרשטיין קלאר וואָס איז אַ "דערקלערונג".

אַזוי, די דערקלערונג איז אַ זאַץ, ראַנגקט גראַממאַטיקאַללי ריכטיק, און איז פאַלש אָדער אמת. דעם געדאנק מוזן אויסדריקן אַ זיכער טייַטש. לעמאָשל, די פֿראַזע "קאַנאַריק פויגל האט אַ" כולל די ווייַטערדיק קאַמפּאָונאַנץ: "קאַנאַריק" און "פויגל".

אַז איז וואָס איינער פון די שליסל ערשט קאַנסעפּס פון לאָגיק און זענען געזאגט. די קאַנסעפּס מוזן באַשרייַבן אַ ספּעציפיש סיטואַציע אין וועלכע די דערקלערונג איז אָדער עפּעס אָדער אָפּלייקענונג.

עס איז באטראכט צו זיין אַ אמת ויסזאָגונג, אויב די טרייסט שורה פאַקט פון די סיטואַציע ווען עס איז סירקומסקריבינג. דורך זיך, "פאַלש" און "אמת" באַשטימען די אמת פון די סטייטמאַנץ.

פּראָפּאָסיטיאָנאַל לאָגיק באשטייט פון פּשוט און קאָמפּליצירט אויסדרוקן. אזוי, נאָר טראַכטן די דערקלערונג אַז טוט נישט אַרייַננעמען אין זייַן זאַץ אנדערע אויסדרוקן. און צו דעם קאָמפּלעקס אַרייַננעמען אויסדרוקן וואָס זענען דערייווד פון אַ פּשוט, לאַדזשיקלי קאָננעקטעד סטייטמאַנץ.

קלאסישע פּראָפּאָסיטיאָנאַל לאָגיק קענען זיין רעפּריזענטיד דורך דער גענעראַל טעאָריע פון ויספיר. עס איז אַז טייל פון לאָגיק, וואָס באשרייבט ניט אָפענגען אויף די סטייטמאַנץ פון לאַדזשיקאַל קשר פון פּשוט אויסדרוקן.

ניט צו דערמאָנען די קאָנדזשונקטיאָנס - אַ שווער פאָרלייג דערגרייכט דורך קאַמביינינג צוויי פּשוט אויסדרוקן ניצן די וואָרט "און". דער אמת פון די קאַנדזשאַנגקשאַן באַשטעטיקן אַז אַלע סטייטמאַנץ ינקלודעד אין זייַן סטרוקטור. אין די פאַל ווו לפּחות איין פון זייַן מיטגלידער אַ פאַלש, די גאנצע קאַנדזשאַנגקשאַן איז אַ צייכן פון "אַ ליגן."

זיך איז אַ קאַנדזשאַנגקשאַן צו פֿאָרמירן די קאָמפּלעקס סטייטמאַנץ, וואָס זענען באזירט אויף די אַסאַמפּשאַנז:

- קיין אויסדרוק (און פּשוט און קאָמפּליצירט) קענען זיין אָדער אמת אָדער פאַלש;

- די אמת פון דעם קאָמפּלעקס וטטעראַנסעס דעפּענדס אויף די אמת פון די סטייטמאַנץ קאַנטיינד אין עס און די לאַדזשיקאַל לינקס אין עס.

ווען קאַנעקטינג צוויי סטייטמאַנץ ניצן די וואָרט "אָדער" איז שוין באקומען די דיסדזשונקטיאָן. אין וואָכעדיק לעבן, דעם באַגריף קענען זיין וויוד פון דער פּערספּעקטיוו פון צוויי פאַרשידענע מינינגז. ערשטער, עס איז ניט-ויסשליסיק זינען, וואָס מיטל דער אמת פון אויסדרוק, ראַגאַרדלאַס פון דער אמת אויסדרוק פון איינער פון די צוויי אָדער זענען זיי די פון די צוויי. רגע, ילימאַנייטינג די געפיל אַסערץ אַז איינער פון די אויסדרוקן איז אמת, און די אנדערע - איז פאַלש.

פּראָפּאָסיטיאָנאַל פאָרמולאַס אַנטהאַלטן ספּעציעל אותיות. אזוי, אין די דיסדזשונקטיאָן סימבאָל וו ינדיקייץ אַז די אויסדרוק איז אמת אויב דער אמת פון לפּחות איין פון די סטייטמאַנץ, און פאַלש אויב ביידע איר פאַלש פּעניס.

אין דיטערמאַנינג די ימפּלאַקיישאַן עס איז די באַשטעטיקן אַז די באַזע סטייטמאַנץ קענען ניט זיין אמת אין דעם אומרעכט ויספאָרשונג. אין אנדערע ווערטער, דעם באַגריף ימפּלייז אָפענגיקייַט אמת אָדער פאַלשקייַט פון די אויסדרוק פון די ווערט פון זייַן קאַמפּאָונאַנץ און מעטהאָדס פון זייער באַציונגען.

טראָץ דער פאַקט אַז די ימפּלאַקיישאַן איז גאַנץ נוציק פֿאַר עטלעכע צוועקן, עס איז נישט זייער קאָנסיסטענט מיט די קאַנווענשאַנאַל שכל פון קאָמוניקאַציע אין אַלגעמיין. אַזוי, ווען עס סעראַונדז די מיטל פילע פון די וויכטיק פֿעיִקייטן פון די לאַדזשיקאַל נאַטור פון די סטייטמאַנץ געגעבן באַגריף זאל ניט זיין אַ טויגן באַשרייַבונג פון עס.

פּראָפּאָסיטיאָנאַל לאָגיק אַימעד בייַ סאַלווינג אַזאַ אַ צענטראל אַרבעט, ווי די צעשיידונג פון ריכטיק און פאַלש סערקאַץ ריזאַנינג און סיסטעמאַטיזאַטיאָן ערשטער. צו באַקומען די רעכט רעזולטאַט, איר דאַרפֿן צו פאָקוס אויף דער ספּעציעל אותיות וואָס קענען פאָרשטעלן איינער אָדער אן אנדער פאָרעם. בכן אנגעוויזן אינטערעס אין אַזאַ אַ פּאָנעם נישטיק ווערטער אַזאַ ווי "אָדער", "און," אאז"וו

לאָגיק סטייטמאַנץ אַפֿילו האט זייַן אייגן שפּראַך, קאַנסיסטינג פון די ווייַטערדיק עלעמענטן:

- דער אָריגינעל אותיות - וועריאַבאַלז, לאַדזשיקאַל קאַנסטאַנץ, און טעכניש סימבאָלס;

- פאָרמולאַס.

פֿאַר אַ בעסער שכל פון וואָס האט שוין געזאגט איר מוזן גיין צו ספּעציפיש יגזאַמפּאַלז. למשל, דער קאַנדזשאַנגקשאַן נוצן די סימבאָל &, דיסדזשונקטיאָן - \ / אָדער \ º /.