quinta-feira, 31 de outubro de 2013

 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: MORTARICezar 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

Nenhum comentário: