Sumários
III. Lógica Proposicional - 4
29 Novembro 2021, 14:00 • António José Teiga Zilhão
Resolução de exercícios no âmbito da Lógica Proposicional.
III. Lógica Proposicional - 3
25 Novembro 2021, 14:00 • António José Teiga Zilhão
O Cálculo Proposicional.
1. Vocabulário;
2. Sintaxe; 2.1. Regras de Formação. 2.2. Regras de inferência. 2.2.1. Regras primitivas de inferência. 2.2.2. Regras derivadas de inferência;
3. Teoremas do Cálculo Proposicional;
4. Regra da Introdução de Teoremas (RIT).
III. Lógica Proposicional - 2
22 Novembro 2021, 14:00 • António José Teiga Zilhão
Derivação de substituibilidades não elementares na álgebra das proposições - II.
Tautologias, contradições e fórmulas contingentes.
O Problema da Decisão: métodos semântico e sintáctico de o resolver.
Inferência Proposicional: implicações tautológicas como paradigmas da inferência proposicional.
III. Lógica Proposicional - 1
18 Novembro 2021, 14:00 • António José Teiga Zilhão
Teoria das funções de verdade. As funções de verdade elementares: negação, conjunção, disjunção, implicação e equivalência. Conceito de uma álgebra das proposições. Definição de fórmula da álgebra das proposições. Definição de substituibilidade entre fórmulas da álgebra das proposições. Apresentação de um elenco de substituibilidades elementares. Definição de substituibilidade parcial. Derivação de substituibilidades não elementares na álgebra das proposições - I.
Avaliação - II
15 Novembro 2021, 14:00 • António José Teiga Zilhão
Correcção do exercício escrito de avaliação das competências adquiridas no âmbito dos módulos I e II do programa.