* Relação de acarretamento (ou consequência semântica, ou ''entailment'') associada a uma propriedade unária[VIDEO]
== Para reflexão ==
== Veja também ==
* [[Relação de consequência]]* [[Semântica formal para a Lógica Proposicional Clássica]]
== Links externos ==
*