Sumários

8 Dezembro 2015, 14:00 • Maria Adriana Sequeira da Silva Graça

Demonstração de invalidade de argumentos.

Expansões de fórmulas num domínio de objectos. Interpretações.

8 Dezembro 2015, 10:00 • António José Teiga Zilhão

Dia de Nossa Senhora

4 Dezembro 2015, 14:00 • Maria Adriana Sequeira da Silva Graça

Traduções de frases da linguagem corrente na linguagem do Cálculo de Predicados de Primeira Ordem.

4 Dezembro 2015, 10:00 • António José Teiga Zilhão

Demonstração de alguns sequentes salientes do Cálculo de Predicados.
Teoremas e Regra de Introdução de Teoremas (RIT).

Semântica do Cálculo de Predicados. Demonstração da invalidade de fórmulas por meio da sua interpretação num domínio.

3 Dezembro 2015, 14:00 • Maria Adriana Sequeira da Silva Graça

Demonstrações. Introdução de predicados binários e quantificação dupla.

A regra derivada: Negação de Quantores.