Lógica de Predicados - V

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

Resolução de exercícios na Lógica de Predicados.

Derivações

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

Primeiras demonstrações, as 4 restricções básicas: duas para GU, duas para IE.

Lógica de Predicados - IV

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

Regras de inferência do Cálculo de Predicados: i) Interderivabilidades Quantificacionais (IDQ); ii) Alguns sequentes elementares do Cálculo de Predicados.

Novas Regras

27 Novembro 2015, 14:00 • Maria Adriana Sequeira da Silva Graça

Porquê a existência de novas regras?

Eliminação e introdução de quantificadores.

As quatro Regras Primitivas: GU, GE, IU e IE.

Lógica de Predicados - III

27 Novembro 2015, 10:00 • António José Teiga Zilhão

Regras de inferência do Cálculo de Predicados: a regra EQE.