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 == |