Open main menu

Changes

10 bytes removed ,  14:54, 6 October 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>{{#ev:youtube|F66kTGCeB-c}}</p>
* Acarretamento '''associado a uma dada semântica proposicional'''<!--
--><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>
* Acarretamentos '''associados a uma dada semântica de primeira ordem'''<!--
--><p>[VIDEO]</p>