Logika: ferskil tusken ferzjes
Content deleted Content added
L Bewurkings fan "212.203.0.11" (oerlis) tebekset ta de ferzje fan "Theun". |
stavering en sinsbou |
||
Rigel 1:
De '''logika''' is de wittenskip fan redenearring. De logika stipet
In populêr foarbyld jûn troch [[Aristoteles]]:
Rigel 9:
*<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 "
*<math>\lnot</math> wurdt lêzen as "net" of "it is net it gefal dat...".
Hjir
:<math> (minsk \Rightarrow stjert) \land (Aristoteles \Rightarrow minsk) \Rightarrow (Aristoteles \Rightarrow stjert) </math>
En dizze symboalen binne
:<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
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").
|