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
:
- Elts minsk sil in kear stjerre.
- Aristoteles is in minsk.
- Derom sil Aristoteles ek stjerre.
- wurdt lezen as "en"; betsjut beide fan twa.
- wurdt lezen as "of"; betsjut op syn minst ien fan 'e twa.
- wurdt lezen as "ymplisearret" of "as... dan...".
- wurdt lezen as "net" of "it is net it gefal dat...".
Hjir itselde foarbyld yn logyske symboalen:
En dizze symboalen binne itselde foarbyld yn algemiene tekens:
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.
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.