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