525
edits
Changes
Jump to navigation
Jump to search
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]]
