Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
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 == | ||
* | * |
Revision as of 13:14, 6 October 2020
Para reflexão
Veja também
- Acarretamento (consequência semântica / EN: entailment)
- Introdução Computacional à Lógica Matemática