Besjoch de boarne foar Logika

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]]:
# Elts minsk sil in kear stjerre. 
# Aristoteles is in minsk. 
# Dêrom sil Aristoteles ek stjerre. 

== Logyske symboalen ==
* <math>\land</math> wurdt lêzen as "en"; betsjut beide fan twa. 
* <math>\lor</math> wurdt lêzen as "of"; betsjut op syn minst ien fan 'e twa. 
* <math>\Rightarrow</math> wurdt lêzen as "ymplisearret" of "as... dan...". 
* <math>\lnot</math> wurdt lêzen as "net" of "it is net it gefal dat...". 

Hjir itselde foarbyld yn logyske symboalen: 
:<math> (minsk \Rightarrow stjert) \land (Aristoteles \Rightarrow minsk) \Rightarrow (Aristoteles \Rightarrow stjert) </math> 

En dizze symboalen binne itselde foarbyld yn algemiene tekens: 
:<math> (a \Rightarrow b) \land (c \Rightarrow a) \Rightarrow (c \Rightarrow b) </math>

== 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. <math>(a \lor \lnot a)</math> is altyd wier. it wurdt in tautology neamd (bygelyks: "it reint, of it reint net"). 

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

{{boarnen|boarnefernijing=
Foar boarnen en oare literatuer, sjoch ûnder: [http://en.wikipedia.org/wiki/Logic ''References'', op dizze side].
----
{{commonscat|Logic}}
}}

[[Kategory:Logika| ]]
[[Kategory:Filosofy]]