Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
Tag: 2017 source edit |
||
| (3 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 9: | Line 9: | ||
* [[Acarretamento]] (consequência semântica / EN: ''entailment'') | * [[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
