Sumários
II. Teoria dos Conjuntos - 6
12 Outubro 2023, 09:30 • António José Teiga Zilhão
II.7. Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos.
II.7.2.3. Demonstração da obversão na Teoria dos Conjuntos
II.7.2.4. Demonstração da contraposição na Teoria dos Conjuntos
II.7.2.5. Demonstração na Teoria dos Conjuntos da validade dos silogismos detectados como válidos pelas Regras da Dedução Silogística da Lógica Aristotélica.
As oito regras primitivas
10 Outubro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
As quatro regras de inferência que completam o conjunto das formas argumentativas dedutivamente válidas do Cálculo: Conjunção, Simplificação, Adição e Dilema Construtivo.
II. Teoria dos Conjuntos - 5
10 Outubro 2023, 09:30 • António José Teiga Zilhão
A.
II. 7. Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos.
II.7.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.7.2. Representação da Teoria Aristotélica da Inferência na Teoria dos Conjuntos
II.7.2.1. Representação do Quadrado da Oposição na Teoria dos Conjuntos;
II.7.2.2. Representação e demonstração das regras da conversão na Teoria dos Conjuntos;
B. Resolução de exercícios na Teoria dos Conjuntos.
Exercícios
9 Outubro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
Derivações com as primeiras quatro regras.
II. Teoria dos Conjuntos - 4
9 Outubro 2023, 09:30 • António José Teiga Zilhão