Sumários
II. Teoria dos Conjuntos -7
20 Outubro 2025, 09:00 • António José Teiga Zilhão
II.9. Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos (cont.)
II.9.2.5. Representação na Teoria dos Conjuntos dos quatro modos válidos e não redundantes da Iª Figura da silogística aristotélica (BARBARA, CELARENT, DARII e FERIO) e demonstração dos mesmos.II. 10. Pares ordenados
II. Teoria dos Conjuntos - 6
16 Outubro 2025, 09:00 • António José Teiga Zilhão
II. 9. Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos.
II.9.1. Representação da Teoria Aristotélica do Juízo na Teoria dos Conjuntos: representação como conjuntos da referência dos termos gerais, representação como objectos da referência dos termos singulares. Representação dos juízos singulares na Teoria dos Conjuntos como relações de pertença de elementos a conjuntos, respectivamente, negação da sua obtenção. Representação dos juízos gerais na Teoria dos Conjuntos como relações (inclusão) ou operações (intersecção, complementação) entre conjuntos.
II.9.2. Representação da Teoria Aristotélica da Inferência na Teoria dos Conjuntos
II.9.2.1. Representação do Quadrado da Oposição na Teoria dos Conjuntos;
II.9.2.2. Representação e demonstração das regras da conversão na Teoria dos Conjuntos;
II.9.2.3. Representação e demonstração das regras da obversão na Teoria dos Conjuntos;
II.9.2.4. Representação e demonstração das regras da contraposição na Teoria dos Conjuntos;
II. Teoria dos Conjuntos - 5
14 Outubro 2025, 09:00 • António José Teiga Zilhão
Resolução de exercícios na Teoria dos Conjuntos.