* Relação de acarretamento (ou consequência semântica, ou ''entailment'') associada a uma propriedade unária, e suas meta-propriedades fundamentais<!----><p>[VIDEO]</p>* Acarretamento associado a uma dada semântica<!----><p>[VIDEO]</p>* Da validade de sequentes e da correção de regras<!----><p>[VIDEO]</p>* Da validade de fórmulas<!----><p>[VIDEO]</p>
== Para reflexão ==