- Relação de acarretamento (ou consequência semântica, ou entailment) associada a uma propriedade unária, e suas meta-propriedades fundamentais
- Acarretamento associado a uma dada semântica proposicional
- Acarretamentos associados a uma dada semântica de primeira ordem
[VIDEO]