525
edits
Changes
Jump to navigation
Jump to search
m
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ânticaproposicional''<!--
--><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>
* Da '''validade de sequentes''' e da '''correção de regras'''<!--
* Da '''validade de fórmulas'''<!--
--><p>{{#ev:youtube|GUh5XOjgsWw}}</p>
* Da '''verdade''' e da '''falsidade''' de fórmulas em uma interpretação de primeira ordem específica<!--
--><p>{{#ev:youtube|j41Sw3dJ1rU}}</p>
* Acarretamentos ''associados a uma dada semântica de primeira ordem''<!--
--><p>{{#ev:youtube|???}}</p>
== Para reflexão ==
