Predikaattilogiikka?

Mitä on predikaattilogiikka? Voisko joku selittää? Ottakaa huomioon että mä oon täysi idiootti, mulle täytyy selittää kuin 10-vuotiaalle, muuten mä en tajua hölkäsen pöläystä.
11464
Äänestä

Muut lukivat myös

Vastaukset 1

Vanhimmat

Predikaattilogiikka on matematiikan algebrallista esitystapaa muistuttava "keinokieli". Kun sen operaattorit korvataan luonnollisen kielen sanoilla, saadaan sellaisia puhuttavissa olevia kieliä, kuin esin Loglan ja Lojban. Jos lukion algebra on vaikeaa, niin predikaattilogiikka on myöskin.

Predikaattilogiikkan sisältöä ei siis voi selittää lyhyesti. Siinä muodostetaan lauseita, joiden keskinäistä totuussisältöä voidaan analysoida logiikan lakeja käyttäen. Se on hyvin muodollista.

Tässä on aika selkeä johdanto:
http://mtl.uta.fi/Opetus/logic/predsem/notes.pdf

Äänestä

Kommentoi aloitusta


tyhmä apina kirjoitti:

Mitä on predikaattilogiikka? Voisko joku selittää? Ottakaa huomioon että mä oon täysi idiootti, mulle täytyy selittää kuin 10-vuotiaalle, muuten mä en tajua hölkäsen pöläystä.

Anonyymi
5000

Ilmoita asiaton sisältö

  • Sisältää materiaalia, joka on loukkaavaa, herjaavaa, rasistista, uhkailevaa tai ahdistelevaa.

  • Materiaali sisältää nimiä, yhteystietoja tai muita henkilökohtaisia tietoja. Julkisuuden henkilöistä, julkisissa viroissa toimivista ihmisistä sekä yritysten vastuuhenkilöistä saa keskustella työhön liittyen. Myös yksityiselämään liittyvistä asioista voi keskustella siltä osin, kuin niistä on julkisesti kerrottu.

  • Sisältää lapsille haitallista tai heiltä kiellettyä materiaalia. Seksuaalinen sisältö on sallittua aiheeseen tarkoitetuilla palstoilla, joiden ikäraja on 18 vuotta.

  • Lainvastaista sisältöä voi olla mm. yksityiselämää loukkaavan tiedon levitys, kiihottaminen kansanryhmää vastaan, laiton uhkaaminen, alaikäisiin liittyvä seksuaalinen sisältö/grooming, petokset, identiteettivarkaudet, kunnianloukkaukset ja tekijänoikeusrikkomukset.

  • Sisältö ei liity palstan tai keskusteluketjun aiheeseen.

  • Viesti ei ole suomea tai ruotsia (pl. International Forums), se sisältää mainontaa, se sisältää tekijänoikeuksin suojattua materiaalia, se on massapostitus tai jokin muu syy.

Jaa keskustelu