Sumários

Formas argumentativas de equivalência - conclusão

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

Estudo das seguintes formas argumentativas de equivalência: Comutatividade de '&', Associatividade de '&', Comutatividade de 'V', Associatividade de 'V', Distributividade de 'V' sobre '&' e de '&' sobre 'V', Tautologia e Equivalência.


Exercícios.

II. Teoria dos Conjuntos - 3

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

II.8. Propriedades das operações sobre conjuntos - 1-34.

Formas argumentativas de equivalência

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

Estudo das seguintes formas argumentativas de equivalência: Negação dupla (ND), Implicação, Contraposição, Importação/Exportação e Leis de De Morgan (DM).


Exercícios.

II. Teoria dos Conjuntos - 2

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

II. 4. 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.5. Noção de cardinalidade de um conjunto.
II.6. Axioma da Potência. Conjunto-potência de um dado conjunto. Cardinalidade do conjunto-potência de um dado 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.

II.7. 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. 

As quatro últimas Regras de Inferência

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

As quatro últimas Regras de Inferência: Conjunção, Simplificação, Adição e Dilema Construtivo (DC).


Derivações com as 8 regras de inferência estudadas. 
Estas regras --formas argumentativas dedutivamente válidas-- são implicacionais e só podem ser aplicadas a fórmulas com uma forma lógica compatível com a regra.