Sumários

III. Lógica Proposicional - 2

29 Outubro 2024, 13:00 • António José Teiga Zilhão

2. Álgebra das Proposições

2.6. Derivação de quinze substituibilidades não elementares a partir das substituibilidades elementares.

Árvores Semânticas

29 Outubro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Teste de validade/invalidade de argumentos por meio de árvores semânticas. Reductio ad Absurdum como sendo o método subjacente a este teste. Regras de construção das árvores: Negação Dupla, 3 regras tipo conjuntivo (listas) --AND, NOT OR, NOT IF-- e 5 tipo disjuntivo (ramos) -- OR, NOT AND, IF, IFF, NOT IFF. Exercícios.

III. Lógica Proposicional - 1

28 Outubro 2024, 13:00 • António José Teiga Zilhão

1. Teoria das funções de verdade.

1.1. As funções de verdade como um tipo específico de função.

1.2. As funções de verdade elementares: negação, conjunção, disjunção, implicação e equivalência.

2. Álgebra das proposições.

2.1. O conceito de uma álgebra das proposições.

2.2. Definição de fórmula da álgebra das proposições.

2.3. Definição de substituibilidade entre fórmulas da álgebra das proposições.

2.4. Substituibilidades elementares.

2.5. Definição de substituibilidade parcial.

Reductio ad Absurdum

28 Outubro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Método da demonstração indirecta ou Reductio ad Absurdum (redução ao absurdo).

Exercícios.

II. Teoria dos Conjuntos - 9

24 Outubro 2024, 13:00 • António José Teiga Zilhão

Resolução de exercícios na Teoria dos Conjuntos.