Lògica de primer ordre: diferència entre les revisions
Contingut suprimit Contingut afegit
{{segona llegida}} |
m Robot esborra: de:Prädikatenlogik (strongly connected to ca:Lògica de predicats) |
||
Línia 266:
[[Categoria:Sistemes lògics]]
[[en: First-order logic]]
[[es: Lógica de primer orden]]
|