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