Slides- HG 404- Introdução à Lógica

SEMÂNTICA PARA O CÁLCULO DE PREDICADOS DE PRIMEIRA  ORDEM 
(também chamado Lógica de Primeira Ordem, ou
 Lógica Elementar,  ou
Teoria da Quantificação,  ou
 CQC)
Referência: MORTARI, Cezar A., Introdução à Lógica, Editora da UNESP2001
A) ESTRUTURAS E VERDADE 
Cap. 10:  principais idéias

1) Definição de  Verdade (Tarski)
2) A  noção de Estrutura
B) VALIDADE E CONSEQUÊNCIA  LÓGICA
Cap. 11:  principais idéias

1) Validade, contingênca e contradição em  primeira ordem
2) A  noção de consequência semântica
C) TABLÔS  SEMÂNTICOS PARA FÓRMULAS QUANTIFICADAS  
1) As  regras  proposicionais e as 4 regras quantificacionais
2) Regra  heurística  para tentar fechar  um tablô:  use  primeiro as  regras  F(Qualquer) e V(Existe), e  só depois as regras V(Qualquer) e F(Existe),
3) Exemplos
4) Alguns tablôs são infinitos
D)  A INDECIDIBILIDADE DE CQC

Slides Semântica de Primeira Ordem e Tablôs Semânticos