Sumários

As primeiras quatro regras de inferência

3 Outubro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça

Distinção entre proposições e formas proposicionais, por um lado, e entre argumentos dedutivamente válidos e formas argumentativas dedutivamente válidas, por outro.

A primeiras regras de inferência do cálculo: MP, MT, SD e SH.

II. Teoria dos Conjuntos - 3

3 Outubro 2023, 09:30 • António José Teiga Zilhão

II.5. Operações elementares sobre conjuntos: união, intersecção, complementação absoluta e complementação relativa ou diferença. Operações não elementares sobre conjuntos: a diferença simétrica.

II.6.1.Propriedades das operações sobre conjuntos - 1-25.

Tabelas de Verdade

2 Outubro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça

Construção de tabelas de verdade com n (1, 2, 3, ...) variáveis proposicionais. Regra de construção e seu significado.

Tautologias, contradições e proposições contingentes.

Distinção entre verdade e verdade necessária (falsidade e falsidade necessária).

Princípios da bivalência, do 3º excluído e da não-contradição.

II. Teoria dos Conjuntos - 2

2 Outubro 2023, 09:30 • António José Teiga Zilhão

II.3. A relação de inclusão. Propriedades da relação de inclusão. Inclusão e inclusão própria; subconjunto e subconjunto próprio; negação da inclusão.

II.4. Axioma da Potência. Conjunto-potência de um dado conjunto. Noção de cardinal de um conjunto. Demonstração do modo como, a partir do axioma do conjunto vazio e do axioma da potência, se pode gerar uma infinidade de novos conjuntos de cardinalidade crescente.

Início do estudo do Cálculo Proposicional

28 Setembro 2023, 12:30 • Maria Adriana Sequeira da Silva Graça

A linguagem do cálculo.

Proposições atómicas e proposições moleculares.

As cinco conectivas proposicionais/funções de verdade: negação, conjunção, disjunção, implicação e equivalência. Suas definições tabulares (tabelas Wittgenstein).

A distinção entre disjunção inclusiva (lógica) e exclusiva.

Os paradoxos da implicação material.

Tautologia.