Lógica Simbólica
0
2018-2019
01013385
Área Científica do Menor
Português
Presencial
Semestral
6.0
Opcional
1º Ciclo - Licenciatura
Conhecimentos de Base Recomendados
NA
Métodos de Ensino
1) Exposições teóricas e aplicadas por parte do Professor (50%).
2) Construção e resolução sistemática de exercícios lógicos (50%).
3) Deveres de trabalho de casa.
Resultados de Aprendizagem
Os alunos devem ser capazes de:
1) descrever as propriedades específicas da lógica como sistema dedutivo;
2) dominar eficazmente as técnicas de formalização e de aplicação de esquemas de inferência na lógica das proposições e na lógica dos predicados.
Estágio(s)
NãoPrograma
A. Lógica das proposições
1. A lógica como cálculo e sistema dedutivo
2. Exemplos extra-lógicos de sistemas dedutivos
3. A ideia de uma lógica formal: as noções de inferência e de validade
4. Noções básicas de lógica proposicional:
4.1 O cálculo
4.2 Tábuas de verdade
5. A linguagem da lógica e a linguagem da vida corrente
6. Tautologias, contradições e expressões contingentes
7. Leis.
B. Lógica dos Predicados
1. Distinção entre lógica das proposições e lógica dos predicados
2. Predicados e quantificadores
3. A lógica dos predicados de primeira-ordem
4. Leis da lógica dos predicados monádicos
5. Formalização.
Docente(s) responsável(eis)
Henrique Carlos Jales Ribeiro
Métodos de Avaliação
Avaliação contínua
Avaliação ao longo do semestre, sendo a soma dos restantes itens igualmente: 100.0%
Avaliação final
Exame: 100.0%
Bibliografia
Deaño, A. (1989). Introducción a la lógica formal, Madrid: Alianza Universidade Textos.
Garrido, M., Lógica simbólica, Madrid: Tecnos, 1974;
Hodges, W. (1977). Logic, London: Penguin Books.
Montaner, P., & Arnau, H. (1984). Teoria y prática de la lógica proposicional, Barcelona: Vicens-Vives.
Newton-Smith, W. H. (1998). Lógica: Um curso introdutório, trad. D. Murcho, Lisboa: Gradiva.
Salem, J. (1994). Introduction à la logique formelle et symbolique avec des exercices et leurs corrigés, Paris: Nathan University.
Suppes, P. (1973). Primer curso de lógica matemática, Barcelona: Reverté, 1973.
Tymoczko, U., & Henle, J. (1995). Sweet Reason: A Field Guide to Modern Logic, New York: Freeman and Company.