Sumários

AULA 8

9 Março 2017, 09:30 • Fernando Ferreira

Skolemizações. O teorema da compacidade do cálculo de predicados.

AULA 7

8 Março 2017, 11:30 • Fernando Ferreira

Continuação da aula anterior. O teorema de Herbrand. Exemplo. Generalizações.

AULA 6

2 Março 2017, 09:30 • Fernando Ferreira

Os axiomas Q. A aritmética de Peano.

Prenexificação.

A expansão de Herbrand H(T) dum conjunto de fórmulas fechadas universal T. Começo da demonstração de que T é satisfazível sse H(T) é proposicionalmente satisfazível.

AULA 5

1 Março 2017, 11:30 • Fernando Ferreira

A definição de verdade de Tarski. A noção de modelo dum conjunto de fórmulas fechadas.

AULA 4

23 Fevereiro 2017, 09:30 • Fernando Ferreira

O teorema da completude forte do cálculo proposicional.

Linguagens do cálculo de predicados. Termos, fórmulas, fórmulas fechadas (sentenças), substituições. A linguagem da aritmética. A linguagem da teoria dos conjuntos.