Loogik

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

LoogikTekst üüb Öömrang

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:

    (t. b. At rinjt, of at rinjt ei, diar as nian traad mögelkhaid.)

Mä formaal loogik befaadet ham det ütjsaagenloogik.

Bispalen faan loogisk slütjer

    Ütjslööden wederspreeg
    Loogik  (At koon ei gliktidjag üüb't salew steed riin an ei riin.)
    Tertium non datur
    Loogik  (A eerd as en skiiw of a eerd as nian skiiw.)
    Verum sequitur ex quodlibet (Woor blaft woor)
    Loogik  (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)
    Loogik  (Wan't gliktidjag rinjt an ei rinjt, do koon a eerd uk en skiiw wees.)
    Paradoks faan't materiel implikatjuun
    Loogik  (Faan tau ütjsaagen as tumanst det ian föörütjsaatang för det ööder.)

Luke uk diar

Loogik  Wikibooks: Ütjsaagenloogik (sjiisk)

Tags:

🔥 Trending searches on Wiki Nordfrasch:

PosenKonstelk InteligensUalfreskTrojanyHiiu (Lunkreis)Struat faan Hormus2023Negeri Sembilan (Bundesstoot)Puebla (Bundesstoot)InformaatikISO-3166-11918YunnanInternasjonool RümstasjoonSri Lanka19. juarhunertKoonkern1959Wääbkoonkern1872Sweedsk spriikKiewAntje ArfstenMorchelnKaspisk SiaTechnologiiNobelprisReykjavikSwaitsMetropolitanstääd RoomElefantentesAxel PrahlRenaissanceVancouverMedinaTilefoonEuroEdinburghLofootenNuurđfriiskItaalienGujaratiTschetscheenienShetland EilunenAmoniakWalesFüsiikWaltVincent van Gogh2003SotschiBrowserTamil NaduWikipediaGoogleReligioonIndoneesk SpriikFriedrich II. (Preussen)KompjuuterTilman ZülchGuamYokohamaNATOGrenaadaBroder ClausenBernPragSüüd-Ameerikoo🡆 More