Sumários

Invalidade

13 Outubro 2025, 13:00 Maria Adriana Sequeira da Silva Graça

Como mostrar que um argumento é inválido pelo método da tabela de verdade.


II. Teoria dos Conjuntos - 4

13 Outubro 2025, 09:00 António José Teiga Zilhão

II.8. Relações e Operações definidas na Teoria dos Conjuntos - 4: 

II.8.1. Propriedades das operações sobre conjuntos: 22-43.


Exercícios

9 Outubro 2025, 13:00 Maria Adriana Sequeira da Silva Graça

Regras derivadas (conclusão): Tautologia e Equivalência.
Exercícios usando todas as regras.


II. Teoria dos Conjuntos - 3

9 Outubro 2025, 09:00 António José Teiga Zilhão

II.8. Relações e Operações definidas na Teoria dos Conjuntos - 3: 

II.8.1. Propriedades das operações sobre conjuntos - 1-21.


Regras de Equivalência

8 Outubro 2025, 13:00 Maria Adriana Sequeira da Silva Graça

Regras de equivalência: Negação Dupla, Implicação, Contraposição, Importação/Exportação, Leis de De Morgan, Comutatividade, Associatividade, Distributividade de & sobre V e de V sobre &.