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 populer foarbyld jun troch Aristoteles :

1. Elts minsk sil in kear stjerre.
2. Aristoteles is in minsk.
3. Derom sil Aristoteles ek stjerre.

Logyske symboalen [ bewurkje seksje | boarne bewurkje ]

• ${\displaystyle \land }$ wurdt lezen as "en"; betsjut beide fan twa.
• ${\displaystyle \lor }$ wurdt lezen as "of"; betsjut op syn minst ien fan 'e twa.
• ${\displaystyle \Rightarrow }$ wurdt lezen as "ymplisearret" of "as... dan...".
• ${\displaystyle \lnot }$ wurdt lezen as "net" of "it is net it gefal dat...".

Hjir itselde foarbyld yn logyske symboalen:

${\displaystyle (minsk\Rightarrow stjert)\land (Aristoteles\Rightarrow minsk)\Rightarrow (Aristoteles\Rightarrow stjert)}$

En dizze symboalen binne itselde foarbyld yn algemiene tekens:

${\displaystyle (a\Rightarrow b)\land (c\Rightarrow a)\Rightarrow (c\Rightarrow b)}$

Klausulen [ bewurkje seksje | boarne bewurkje ]

Ta beslut, sprekt men oer logika , sprekt men oer logyske klausulen . In klausule is ienfaldich 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 weze.

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

Kompjuters bruke de logika yn algoritmen . In algoritme is in soart fan resept foar it itensieden; it fertelt de kompjuter hokker aksje it dwaan moat en wannear.

Boarnen, noaten en/as referinsjes:

Foar boarnen en oare literatuer, sjoch under: References , op dizze side . Commons  Ofbylden dy't by dit underwerp hearre, binne te finen yn de kategory Logic fan Wikimedia Commons .