Open main menu

Changes

34 bytes added ,  21:29, 3 September 2020
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<!--
--><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>