Difference between revisions of "Acarretamento"
Jump to navigation
Jump to search
(Created page with "* == Para reflexão == * == Veja também == * == Links externos == *") |
m Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
| − | * | + | * Relação de acarretamento (ou consequência semântica, ou ''entailment'') associada a uma propriedade unária |
| + | [VIDEO] | ||
== Para reflexão == | == Para reflexão == | ||
| Line 7: | Line 8: | ||
== Veja também == | == Veja também == | ||
| − | * | + | * [[Relação de consequência]] |
| + | * [[Semântica formal para a Lógica Proposicional Clássica]] | ||
== Links externos == | == Links externos == | ||
* | * | ||
Revision as of 00:40, 1 September 2020
- Relação de acarretamento (ou consequência semântica, ou entailment) associada a uma propriedade unária
[VIDEO]
