Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| (One intermediate revision by one other user not shown) | |||
| 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
