Sumários
Exercícios
11 Outubro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de demonstração da validade de argumentos escritos na linguagem natural através da sua tradução na linguagem do Cálculo Proposicional e utilizando as suas regras.
II. Teoria dos Conjuntos - 6
11 Outubro 2022, 09:30 • António José Teiga Zilhão
Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos - 2.
iv) representação e demonstração das regras da contraposição no interior da Teoria dos Conjuntos; v) representação de diferentes modos da silogística aristotélica, e demonstração da sua validade, no interior da Teoria dos Conjuntos.
O conceito de um par ordenado. Representação da noção de ordem na Teoria dos Conjuntos. Definição de par ordenado de Kuratowski. Teorema dos pares ordenados - enunciado e demonstração. Definições de par ordenado recíproco e idêntico. Definição de terno ordenado.
Exercícios
10 Outubro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de consolidação.
II. Teoria dos Conjuntos - 5
10 Outubro 2022, 09:30 • António José Teiga Zilhão
Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos.
Representação da Teoria Aristotélica do Juízo na Teoria dos Conjuntos: representação da referência dos termos gerais, da referência dos termos singulares e da relação de predicação na Teoria dos Conjuntos. 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.
Representação da Teoria Aristotélica da Inferência na Teoria dos Conjuntos: i) representação do Quadrado da Oposição na Teoria dos Conjuntos; ii) representação e demonstração das regras da conversão na Teoria dos Conjuntos; iii) representação e demonstração das regras da obversão na Teoria dos Conjuntos.
Regras Derivadas
6 Outubro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça
Formas argumentativas de equivalência - Regras derivadas para o Cálculo Proposicional: