Loogik

Tekst üüb Öömrang

Loogik (faan ualgreks λογικὴ τέχνη logiké téchnē 'seenken konst') woort miast ferstenen üs det konst, rocht slütjer tu tjien.

Klasisk loogik as en süsteem, diar ham mä ütjsaagen, eegenskapen an identiteeten befaadet.

Diartu hiar tau eegenskapen:

• Arke ütjsaag hää ään faan tau wäärser: woor of ferkiard (biwalens).
• Wan en ütjsaag tuupsaat as, do woort di wäärs bestemet faan jo dial-ütjsaagen (ekstensionaliteet).

Diarütj fulagt det prinsiip tertium non datur:

${\displaystyle p\lor \neg p}$ (t. b. At rinjt, of at rinjt ei, diar as nian traad mögelkhaid.)

Mä formaal loogik befaadet ham det ütjsaagenloogik.

Ütjslööden wederspreeg
${\displaystyle \neg (p\land \neg p)}$  (At koon ei gliktidjag üüb't salew steed riin an ei riin.)
Tertium non datur
${\displaystyle p\lor \neg p}$  (A eerd as en skiiw of a eerd as nian skiiw.)
Verum sequitur ex quodlibet (Woor blaft woor)
${\displaystyle p\rightarrow (q\rightarrow p)}$  (Wan't rinjt, do rinj't det uk, wan a eerd en skiiw as.)
Ex falso sequitur quodlibet (Oner en ferkiard föörütjsaatang koon ales woor wees)
${\displaystyle \neg p\rightarrow (p\rightarrow q)}$  (Wan't gliktidjag rinjt an ei rinjt, do koon a eerd uk en skiiw wees.)
Paradoks faan't materiel implikatjuun
${\displaystyle (p\rightarrow q)\vee (q\rightarrow p)}$  (Faan tau ütjsaagen as tumanst det ian föörütjsaatang för det ööder.)

  Wikibooks: Ütjsaagenloogik (sjiisk)

• Filosofii
• Matematiik