Difference between revisions of "Acarretamento"

Latest revision as of 17:10, 7 October 2020

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 semântica proposicional
Acarretamentos associados a uma semântica de primeira ordem
Também: classes globais e locais (relativas a uma estrutura de interpretação fixa) de modelos que satisfazem uma fórmula; validade global e validade local de um sequente.

@@ Line 1: / Line 1: @@
 * 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''<!--
+* Acarretamento '''associado a uma semântica proposicional'''<!--
 --><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>
-* Da '''validade de sequentes''' e da '''correção de regras'''<!--
+* Acarretamentos '''associados a uma semântica de primeira ordem'''<!--
---><p>{{#ev:youtube|bIxOFR0elFo}}</p>
+--><p>{{#ev:youtube|8LKRvIX3KkY}}</p><!--
-* Da '''validade de fórmulas'''<!--
+--><p>Também: classes globais e locais (relativas a uma estrutura de interpretação fixa) de modelos que satisfazem uma fórmula; ''validade global'' e ''validade local'' de um sequente.</p>
---><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 ==
@@ Line 21: / Line 16: @@
 * [[Semântica formal para a lógica proposicional]]
 * [[Semântica formal para a lógica de primeira ordem]]
+* [[Introdução Computacional à Lógica Matemática]]
 == Links externos ==
 *