Introduo Lgica Matemtica

2012/2013 - 2. semestre

1 Programa
Programa Mnimo:
1. Lgica Proposicional
A linguagem proposicional. Induo e recurso. Semntica proposi-

cional. Teorias proposicionais: propriedades gerais e compacidade. Decidibilidade e enumerabilidade efectiva.

2. Lgica de Primeira Ordem

Sintaxe e semntica das linguagens de primeira ordem. Substituio.

Estruturas. Isomorsmo e equivalncia. Subestruturas. Produtos e cadeias.

Tpicos Adicionais:
Tpicos adicionais de lgica proposicional:

 Noes de consistncia proposicional. Ultraltros.

Tpicos adicionais de lgica de primeira ordem:

 Teorias em linguagens de primeira ordem. Aritmtica. Teorema da compacidade contvel. Teorema da completude contvel.

2 Bibliograa
HINMAN, Peter.

Fundamentals of Mathematical Logic. A K Peters, 2005.

3 Avaliao
A avaliao ser feita atravs de um exame nal ou dois testes parciais. No caso da avaliao por meio de dois testes parciais, o primeiro teste in-

cidir sobre o contedo do programa sobre lgica proposicional que venha a ser leccionado e o segundo teste incidir sobre o contedo do programa sobre lgica de primeira ordem que venha a ser leccionado. O primeiro teste ser cotado para 8 valores e o segundo teste ser cotado para 12 valores. toda a matria leccionada, sendo o peso relativo da matria sobre lgica proposicional e da matria sobre lgica de primeira ordem semelhante ao praticado nos testes parciais.

No caso da avaliao por meio de um exame nal, este incidir sobre

4 Horrio
Duas aulas de 90 minutos por semana, no seguinte horrio:

 Quarta-feira, das 11h00 s 12h30;  Quinta-feira, das 11h00 s 12h30.