Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
m Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
| − | + | * [[Semântica formal para a Lógica Proposicional]] | |
| + | * [[Semântica formal para a Lógica de Primeira Ordem]] | ||
== Para reflexão == | == Para reflexão == | ||
