Traduções

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

A forma normal para traduzir proposições de tipo A, E, I e O.

Problemas filosóficos subjacentes.

Lógica de Predicados - II

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

Cálculo de Predicados: regras de inferência EQU, IQE e IQU.

Cálculo de Predicados de Primeira Ordem.

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

Indivíduos e propriedades. constantes individuais e variáveis. Variáveis livres e ligadas. Os dois quantificadores: universal e existencial.

Lógica de Predicados - I

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

Introdução à Lógica de Predicados. 

Silogismo

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

Exercícios. Estudo da IIIª Figura.