אונטערשייד צווישן ווערסיעס פון "רוי:לאגיק"
ק (החלפת טקסט – "פילאסאפיע" ב־"פילאזאפיע") |
ק (החלפת טקסט – "{{דעסקריפציע||ענגליש=" ב־"{{דעסקריפציע||ענגליש = ") |
||
| (8 מיטלסטע ווערסיעס פון 5 באַניצער נישט געוויזן.) | |||
| שורה 1: | שורה 1: | ||
{{דעסקריפציע||ענגליש = study of correct reasoning|העב=תורה הבוחנת קשרי היסק|דייטש=Lehre des korrekten und sinnvollen Schlussfolgerns|}} | |||
'''לאָגיק''' איז די [[וויסנשאפט]] פון פארשטאנד און באווייזן. עס איז אן אפטייל פון [[פסיכאלאגיע]] און [[מאטעמאטיק]]. דורך א לאגישע [[טעאריע]] קען מען אנטשיידן צי עטוואס איז אמת אדער פאלש. די יסודות פון לאגיק האט אוועקגעשטעלט דער לאגישער [[אריסטא]]. | '''לאָגיק''' איז די [[וויסנשאפט]] פון פארשטאנד און באווייזן. עס איז אן אפטייל פון [[פסיכאלאגיע]] און [[מאטעמאטיק]]. דורך א לאגישע [[טעאריע]] קען מען אנטשיידן צי עטוואס איז אמת אדער פאלש. די יסודות פון לאגיק האט אוועקגעשטעלט דער לאגישער [[אריסטא]]. | ||
דער באוווסטער ביישפיל פון אריסטא צו מסביר זיין וואס איז לאגיק, איז ווי | דער באוווסטער ביישפיל פון אריסטא צו מסביר זיין וואס איז לאגיק, איז ווי פאלגנד: אויב מיר ווייסן אז א מענטש איז שטערבלעך, און מיר ווייסן אז אריסטא איז א מענטש, מוז דאך זיין אז אריסטא איז שטערבלעך. | ||
לאגיק שרייבט מען מיט באשטימטע סימבאלן. <math>\land</math> באדייט "און". <math>\lor</math> באדייט "אדער". <math>\Rightarrow</math> באדייט "אויב...דען". <math>\lnot</math> און <math>\sim</math> באדייטן "נישט". | לאגיק שרייבט מען מיט באשטימטע סימבאלן. <math>\land</math> באדייט "און". <math>\lor</math> באדייט "אדער". <math>\Rightarrow</math> באדייט "אויב...דען". <math>\lnot</math> און <math>\sim</math> באדייטן "נישט". | ||
| שורה 13: | שורה 14: | ||
<math> (a \Rightarrow b) \land (c \Rightarrow a) \Rightarrow (c \Rightarrow b) </math> | <math> (a \Rightarrow b) \land (c \Rightarrow a) \Rightarrow (c \Rightarrow b) </math> | ||
לאגיק אין א [[קאמפיוטער]] הייסט [[אלגאריטם]] ווייל א [[קאמפיוטער פראגראם]] איז | לאגיק אין א [[קאמפיוטער]] הייסט [[אלגאריטם]] ווייל א [[קאמפיוטער פראגראם]] איז געבויט אויף אן אויפן וואס גיט דעם קאמפיוטער אונטעריכטן וואס צו פראצעסן. | ||
== היסטאריע == | == היסטאריע == | ||
אין אנהייב איז לאגיק געווען בלויז אין די | אין אנהייב איז לאגיק געווען בלויז אין די פילאזאפישע [[קלאסיפיקאציע]], אבער במשך די לעצטע הונדערטע יארן האט מען עס צוגעלייגט אויך אין די מאטעמאטישע קלאסיפיקאציע, וואס מען רופט 'מאטעמאטיק לאגיק. | ||
{{פילאזאפיע|געביטן}} | {{פילאזאפיע|געביטן}} | ||
| שורה 23: | שורה 24: | ||
[[קאַטעגאָריע:מאטעמאטיק]] | [[קאַטעגאָריע:מאטעמאטיק]] | ||
[[קאַטעגאָריע:לאגיק|*]] | [[קאַטעגאָריע:לאגיק|*]] | ||
[[קאטעגאריע: | [[קאטעגאריע:אויף יידיש]] | ||
[[ | [[קאַטעגאָריע:עלעמענטארע ארטיקלען צו פארברייטערן]] | ||
[[he:לוגיקה]] | |||
[[en:Logic]] | |||
{{קרד/ויקי/יידיש}} | {{קרד/ויקי/יידיש}} | ||
יעצטיגע רעוויזיע זינט 18:30, 26 אקטאבער 2023
לאָגיק איז די וויסנשאפט פון פארשטאנד און באווייזן. עס איז אן אפטייל פון פסיכאלאגיע און מאטעמאטיק. דורך א לאגישע טעאריע קען מען אנטשיידן צי עטוואס איז אמת אדער פאלש. די יסודות פון לאגיק האט אוועקגעשטעלט דער לאגישער אריסטא.
דער באוווסטער ביישפיל פון אריסטא צו מסביר זיין וואס איז לאגיק, איז ווי פאלגנד: אויב מיר ווייסן אז א מענטש איז שטערבלעך, און מיר ווייסן אז אריסטא איז א מענטש, מוז דאך זיין אז אריסטא איז שטערבלעך.
לאגיק שרייבט מען מיט באשטימטע סימבאלן. באדייט "און". באדייט "אדער". באדייט "אויב...דען". און באדייטן "נישט".
אויב מיר שרייבן דעם פריעריקן ביישפיל מיט סימבאלן, שרייבט מען עס אזוי:
און מיט אלגעמיינע צייכונגען שרייבט מען עס אזוי:
לאגיק אין א קאמפיוטער הייסט אלגאריטם ווייל א קאמפיוטער פראגראם איז געבויט אויף אן אויפן וואס גיט דעם קאמפיוטער אונטעריכטן וואס צו פראצעסן.
היסטאריע
אין אנהייב איז לאגיק געווען בלויז אין די פילאזאפישע קלאסיפיקאציע, אבער במשך די לעצטע הונדערטע יארן האט מען עס צוגעלייגט אויך אין די מאטעמאטישע קלאסיפיקאציע, וואס מען רופט 'מאטעמאטיק לאגיק.
דאס איז נישט קיין המכלול ארטיקל, בלויז עפעס וואס ליגט דא ביז עס וועט ערזעצט ווערן מיט בעסערס. שרייבט עס איבער!