525
edits
Changes
vídeo adicionado
* Relação de '''acarretamento''' (ou '''consequência semântica''', ou ''entailment'') associada a uma propriedade unária, e suas meta-propriedades fundamentais<!--
--><p>[VIDEO]{{#ev:youtube|F66kTGCeB-c}}</p>
* Acarretamento ''associado a uma dada semântica''<!--
--><p>[VIDEO]{{#ev:youtube|ZqQ_tspmQRQ}}</p>
* Da '''validade de sequentes''' e da '''correção de regras'''<!--
--><p>[VIDEO]</p>