1. Cálculo de proposições
2. Cálculo de predicados
3. Teoria de conjuntos

O objectivo desta unidade curricular é: familiarizar os estudantes com a formalização do raciocínio, especialmente do raciocínio matemático; introduzir os conceitos e resultados standard da Lógica Matemática - incluindo um estudo das potencialidades e limitações dos métodos formais.

Pretende-se que, no final desta Unidade Curricular, o estudante seja capaz de:

• Reconhecer a utilidade da formalização do raciocínio, especialmente do raciocínio matemático.
• Aplicar as principais técnicas do cálculo proposições, do cálculo de predicados e da teoria de conjuntos.

Cálculo de Proposições:
• A linguagem do cálculo de proposições.
• A semâtica do cálculo de proposições.
• As demonstrações no cálculo de proposições.

Cálculo de Predicados:
• As linguagens de primeira ordem.

• A natureza das definições (teoria de conjuntos).

• A semântica do cálculo de predicados.

• As demonstrações no cálculo de predicados.

Bibliografia principal:

M. J. Edmundo. Lógica e Teoria de Conjuntos (2013/14) (disponibilizado online).

Bibliografia complementar:

Natural Deduction: An Introduction to Logic with Real Arguments, a Little History, and Some Humour.
Autor: Richard T.W. Arthur.
Editora: Broadview Press, 2011.
ISBN: 1770481974, 9781770481978.

E-learning.