Logika
From Wikipedy
De logika is de wittenskip fan redenearring. De logika stipet minken yn harren kar te meitsjen wannear eat wier of net wier is.
In populêr foarbyld jûn troch Aristoteles:
- Elts minsk sil in kear stjerre.
- Aristoteles is in minsk.
- Dêrom sil Aristoteles ek stjerre.
[bewurkje seksje] Logyske symboalen
wurdt lêzen as "en"; betsjut beide fan twa.
wurdt lêzen as "of"; betsjut op syn minst ien fan 'e twa.
wurdt lêzen as "ymplisearet" of "as... dan...".
wurdt lêzen as "net" of "it is net it gefal dat...".
Hjir lyk it selde foarbyld dat logyske symboalen brûke:
En dizze symboalen binne it selde foarbeeld dat algemiene terminen brûke:
[bewurkje seksje] Klausulen
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. 
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.
