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ä.
Predikaattilogiikka?
tyhmä apina
11464
0Äänestä
Muut lukivat myös
Odottaa vastausta
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
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