Difference between revisions of "Correção e completude"

From Logic Wiki
Jump to navigation Jump to search
m (vídeo adicionado)
Tag: 2017 source edit
m
Tag: 2017 source edit
 
(3 intermediate revisions by the same user not shown)
Line 4: Line 4:
  
 
* Qual destes resultados pode ser útil na verificação de que um dado sequente ''não'' é derivável? Como?
 
* Qual destes resultados pode ser útil na verificação de que um dado sequente ''não'' é derivável? Como?
 +
* Digamos que uma regra seja ''meramente admissível'' em um dado sistema dedutivo se tal regra for admissível mas não derivável.  Assumindo a correção deste sistema para uma dada semântica, que tipo de propriedade ligada à noção de satisfação é preservada pelas suas regras meramente admissíveis?
  
 
== Veja também ==
 
== Veja também ==
  
 
* [[Relação de consequência]]
 
* [[Relação de consequência]]
* [[Dedução Natural]]
+
* [[Formalismos dedutivos]]
 
* [[Acarretamento]]
 
* [[Acarretamento]]
 
* [[Correção e completude para a Lógica Proposicional Clássica]]
 
* [[Correção e completude para a Lógica Proposicional Clássica]]
 +
* [[Correção e completude para a Lógica de Primeira Ordem Clássica]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Latest revision as of 17:58, 12 October 2020

Para reflexão

  • Qual destes resultados pode ser útil na verificação de que um dado sequente não é derivável? Como?
  • Digamos que uma regra seja meramente admissível em um dado sistema dedutivo se tal regra for admissível mas não derivável. Assumindo a correção deste sistema para uma dada semântica, que tipo de propriedade ligada à noção de satisfação é preservada pelas suas regras meramente admissíveis?

Veja também

Links externos