באַקוקן דעם מקור פון לאגיק

'''לאָגיק''' איז די [[וויסנשאפט]] פון פארשטאנד און באווייזן. עס איז אן אפטייל פון [[פסיכאלאגיע]] און [[מאטעמאטיק]]. דורך א לאגישע [[טעאריע]] קען מען אנטשיידן צי עטוואס איז אמת אדער פאלש. די יסודות פון לאגיק האט אוועקגעשטעלט דער לאגישער [[אריסטא]].

דער באוווסטער ביישפיל פון אריסטא צו מסביר זיין וואס איז לאגיק, איז ווי פאלגנדיק: אויב מיר ווייסן אז א מענטש איז שטערבלעך, און מיר ווייסן אז אריסטא איז א מענטש, מוז דאך זיין אז אריסטא איז שטערבלעך.

לאגיק שרייבט מען מיט באשטימטע סימבאלן. <math>\land</math> באדייט "און". <math>\lor</math> באדייט "אדער". <math>\Rightarrow</math> באדייט "אויב...דען". <math>\lnot</math> און <math>\sim</math> באדייטן "נישט".

אויב מיר שרייבן דעם פריעריקן ביישפיל מיט סימבאלן, שרייבט מען עס אזוי:

<math> (mentsh \Rightarrow shterblekh) \land (aristo \Rightarrow mentsh)  \Rightarrow (aristo\Rightarrow shterblekh) </math>

און מיט אלגעמיינע צייכונגען שרייבט מען עס אזוי:

<math> (a \Rightarrow b) \land (c \Rightarrow a) \Rightarrow (c \Rightarrow b) </math>

לאגיק אין א [[קאמפיוטער]] הייסט [[אלגאריטם]] ווייל א [[קאמפיוטער פראגראם]] איז געבויעט אויף אן אויפן וואס גיט דעם קאמפיוטער אונטעריכטן וואס צו פראצעסן.

== היסטאריע ==
אין אנהייב איז לאגיק געווען בלויז אין די פילאסאפישע [[קלאסיפיקאציע]], אבער במשך די לעצטע הונדערטע יארן האט מען עס צוגעלייגט אויך אין די מאטעמאטישע קלאסיפיקאציע, וואס מען רופט 'מאטעמאטיק לאגיק.

{{פילאסאפיע|געביטן}}

[[קאַטעגאָריע:פילאסאפיע]]
[[קאַטעגאָריע:מאטעמאטיק]]
[[קאַטעגאָריע:לאגיק|*]]