Changes

Jump to navigation Jump to search

Acarretamento (view source)

Revision as of 01:42, 2 September 2020

152 bytes added ,  01:42, 2 September 2020
m
no edit summary
* Relação de acarretamento (ou consequência semântica, ou ''entailment'') associada a uma propriedade unária, e suas meta-propriedades fundamentais
[VIDEO]
* Acarretamento associado a uma dada semântica
[VIDEO]
* Da validade de sequentes e da correção de regras
[VIDEO]
* Da validade de fórmulas
[VIDEO]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1070"

Navigation menu