Changes

Acarretamento (view source)

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]]

525

edits