Ementa de Disciplina

FIL1310 | LOGICA II(INTR A LOG MODERNA)

4 créditos

Ementa

Introdução à sintaxe e semântica do cálculo proposicional clássico e do cálculo dos predicados clássico. Interpretação, satisfatibilidade, consequência lógica e validade. Tableaux e Dedução Natural.

Bibliografia

MORTARI, Cezar. Introdução à lógica.; São Paulo: editora UNESP, 2001. IMAGUIRE, Guido; BARROSO, Cícero A. C. Lógica: os jogos da razão; Fortaleza: UFC, 2006. SMULLYAN, Raymond. Lógica de primeira ordem; São Paulo: editora UNESP, 2009.

Bibliografia Complementar

BRANQUINHO, J; MURCHO, D. Enciclopédia de termos lógico-filosóficos; Rio de Janeiro: Martins Fontes, 2006. FORBES, Graeme. Modern logic: A text in elementary symbolic logic; Oxford: Oxford University Press, 1994. VAN DALEN, Dirk. Lógica e Estrutura. College Publications; .: ., 2017. MATES, Benson. Lógica Elementar; São Paulo: Cia. Editora de São Paulo, 1968.

Pré-requisitos

Nenhum pre-requisito encontrado para FIL1310

Co-requisitos

Nenhum co-requisito encontrado para FIL1310

Última atualização da ementa: 18/04/2023