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''<!--
+* 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>
 == Para reflexão ==
@@ Line 15: / Line 14: @@
 * [[Relação de consequência]]
-* [[Relação de compatibilidade]]
+* [[Semântica formal para a lógica proposicional]]
-* [[Semântica formal para a Lógica Proposicional Clássica]]
+* [[Semântica formal para a lógica de primeira ordem]]
-* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]
+* [[Introdução Computacional à Lógica Matemática]]
 == Links externos ==
 *