III. Lógica Proposicional - 4

14 Novembro 2019, 18:00 • António José Teiga Zilhão

O Problema da Decisão: método sintáctico de o resolver.

III. Lógica Proposicional - 3

13 Novembro 2019, 18:00 • António José Teiga Zilhão

Tautologias, contradições e fórmulas contingentes. O Problema da Decisão: método semântico de o resolver.

Correcção do exercício escrito efectuado a 04/11 e entrega das classificações do mesmo.

III. Lógica Proposicional - 2

11 Novembro 2019, 18:00 • António José Teiga Zilhão

Derivação de substituibilidades na álgebra das proposições. 

III. Lógica Proposicional - 1

7 Novembro 2019, 18:00 • António José Teiga Zilhão

Teoria das funções de verdade. Conceito de uma álgebra das proposições. Definição de fórmula da álgebra das proposições. Definição de substituibilidade. Apresentação de um elenco de substituibilidades elementares. Definição de substituibilidade parcial.

Conferência Internacional

6 Novembro 2019, 18:00 • António José Teiga Zilhão

Os estudantes foram convidados a assistir à conferência internacional Lisbon Lectures in the Humanities I: Facingness meets Mindedness - On Manet's 'Luncheon in the Studio' and 'The Balcony'.