Logika

Ut Wikipedy
Gean nei: navigaasje, sykje

De logika is de wittenskip fan redenearring. De logika stipet minsken om harren kar te meitsjen wannear't eat wier of net-wier is.

In populêr foarbyld jûn troch Aristoteles:

  1. Elts minsk sil in kear stjerre.
  2. Aristoteles is in minsk.
  3. Dêrom sil Aristoteles ek stjerre.

Logyske symboalen[bewurkje seksje | edit source]

  • \land wurdt lêzen as "en"; betsjut beide fan twa.
  • \lor wurdt lêzen as "of"; betsjut op syn minst ien fan 'e twa.
  • \Rightarrow wurdt lêzen as "ymplisearret" of "as... dan...".
  • \lnot wurdt lêzen as "net" of "it is net it gefal dat...".

Hjir itselde foarbyld yn logyske symboalen:

 (minsk \Rightarrow stjert) \land (Aristoteles \Rightarrow minsk) \Rightarrow (Aristoteles \Rightarrow stjert)

En dizze symboalen binne itselde foarbyld yn algemiene tekens:

 (a \Rightarrow b) \land (c \Rightarrow a) \Rightarrow (c \Rightarrow b)

Klausulen[bewurkje seksje | edit source]

Ta beslút, sprekt men oer logika, sprekt men oer logyske klausulen. In klausule is ienfâldich eat as "Aristoteles is in minsk" of "Elts minsk sil stjerre". De klausulen binne of wier of net-wier, mar se kinne wier en tagelyk net-wier wêze.

Der bestean ferklearringen dy't altyd wier binne. (a \lor \lnot a) is altyd wier. it wurdt in tautology neamd (bygelyks: "it reint, of it reint net").

Kompjûters brûke de logika yn algoritmen. In algoritme is in soart fan resept foar it itensieden; it fertelt de kompjûter hokker aksje it dwaan moat en wannear.