Open main menu

Changes

74 bytes added ,  00:44, 1 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]
* [[Relação de consequência]]
* [[Relação de compatibilidade]]
* [[Semântica formal para a Lógica Proposicional Clássica]]
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]