Sumários
9 Novembro 2023, 12:30
•
Maria Adriana Sequeira da Silva Graça
Definição de distribuição de um termo.
Definição de silogismo - termos e proposições - forma normal silogística.
Figuras e modos do silogismo.
Regras de validade silogística.
Exercícios.
9 Novembro 2023, 09:30
•
António José Teiga Zilhão
Resolução de exercícios no âmbito da teoria das funções de verdade e da álgebra das proposições.
7 Novembro 2023, 14:00
•
Maria Adriana Sequeira da Silva Graça
As noções de pertença, inclusão, intersecção e de conjunto vazio.
Representação, utilizando estas noções, dos 4 tipos de proposições predicativas categóricas.
O problema da implicação existencial.
7 Novembro 2023, 09:30
•
António José Teiga Zilhão
2. Álgebra das Proposições
2.4. Apresentação de um elenco de substituibilidades elementares. 2.5. Definição de substituibilidade parcial.
2.6. Derivação de 15 substituibilidades não elementares a partir das substituibilidades elementares.
2.7. Tipologia de fórmulas da álgebra das proposições de acordo com a sua natureza: tautologia, contradições e fórmulas contingentes.
2.8. O Problema da Decisão.
2.8.1. Método semântico de resolução do Problema da Decisão: determinação da natureza de uma qualquer fórmula da Álgebra das Proposições por meio da construção da sua tabela de verdade.
2.8.2. Método sintáctico de resolução do Problema da Decisão.
2.8.2.1. A recondução de uma fórmula da álgebra das proposições à sua Forma Normal Conjuntiva.
2.8.2.2. O critério T.
2.8.2.3. Aplicação do critério T à forma normal conjuntiva de uma fórmula da álgebra das proposições como método sintáctico de resolver o problema da decisão.
6 Novembro 2023, 14:00
•
Maria Adriana Sequeira da Silva Graça
Introdução à Lógica Aristotélica: termos e proposições; suas quantidade e qualidade. Proposições dos tipos A, E, I e O. O quadrado da oposição.