Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
Tag: 2017 source edit |
||
| (7 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | * [[Semântica formal para a | + | * [[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 == | ||
| Line 8: | Line 8: | ||
== Veja também == | == Veja também == | ||
| − | * [[Acarretamento]] (consequência semântica | + | * [[Acarretamento]] (consequência semântica / EN: ''entailment'') |
| + | * [[Introdução Computacional à Lógica Matemática]] | ||
== Links externos == | == Links externos == | ||
| − | * [ | + | * [http://pt.wikipedia.org/wiki/Acarretamento Acarretamento (Wikipédia)] |
| − | |||
Latest revision as of 20:19, 15 October 2020
Para reflexão
Veja também
- Acarretamento (consequência semântica / EN: entailment)
- Introdução Computacional à Lógica Matemática
