Sumários
Workshop - 2
24 Outubro 2023, 09:30 • António José Teiga Zilhão
Lisbon Workshop on the History of Logic - 2
Demonstração Condicional
23 Outubro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
Método da demonstração condicional.
Exercícios.
Workshop - 1
23 Outubro 2023, 09:30 • António José Teiga Zilhão
Lisbon Workshop on the History of Logic - 1
II. Teoria dos Conjuntos - 9
19 Outubro 2023, 09:30 • António José Teiga Zilhão
II.10. Relações
II.10.5.1. Relações de equivalência, classes de equivalência, representante de uma classe de equivalência, conjunto quociente de um conjunto M por uma relação R e partições.