Lògica de primer ordre: diferència entre les revisions
Contingut suprimit Contingut afegit
correcció |
m Corregit: als que són aplicalbes els teoremes de Lindström son aplicables > als quals són aplicables els teoremes de Lindström són aplicables |
||
Línia 239:
=== Generalitzacions ===
Existeixen diversos sistemes lògics que generalitzen la lògica de primer ordre <math>\mathcal{L}_{I}</math> i als
* La [[lògica de segon ordre|lògica de segon ordre completa (LSOC)]] <math>\mathcal{L}_{II}</math>
* La lògica de segon ordre feble <math>\mathcal{L}_{II}^w</math>
|