Sumários
Exercícios
21 Outubro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
Exercícios: demonstração de validade de argumentos dados na linguagem natural.
II. Teoria dos Conjuntos - 6
17 Outubro 2024, 13:00 • António José Teiga Zilhão
Resolução de exercícios na Teoria dos Conjuntos.
II. Teoria dos Conjuntos - 5
15 Outubro 2024, 13: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.9.2.5. Representação dos dois primeiros modos válidos da Iª Figura da silogística (BARBARA e CELARENT) na Teoria dos Conjuntos. Demonstração da validade de ambas estas inferências à custa da transitividade da relação de inclusão.