Tabelas de Verdade

19 Setembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Construção de tabelas de verdade de proposições moleculares (não atómicas).

---

I. Lógica Aristotélica - 2

19 Setembro 2022, 09:30 • António José Teiga Zilhão

I.2. Inferências elementares no âmbito da Lógica Aristotélica

I. 2.1. Quadrado da Oposição 

I. 2.2. Conversão 

---

Apresentação. Início do estudo do Cálculo Proposicional.

15 Setembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça

Apresentação. Início do estudo do Cálculo Proposicional.

---

I. Lógica Aristotélica - 1

15 Setembro 2022, 09:30 • António José Teiga Zilhão

I.1. A Teoria Aristotélica da Proposição Declarativa Categórica. 

A proposição declarativa categórica. A estrutura interna da proposição declarativa categórica: os termos como os representantes dos relata da relação predicativa; a cópula como o representante da relação predicativa ela própria. Verdade e falsidade de uma proposição declarativa categórica. Lugares para termos (o lugar do sujeito e o lugar do predicado); termos singulares e termos gerais; proposições singulares e proposições gerais; qualidade de uma proposição; quantidade de uma proposição geral; conceito de distribuição de um termo geral no âmbito de uma proposição; relação entre a distribuição dos termos numa proposição e a quantidade e a qualidade das mesmas. Os quatro tipos de proposições declarativas categóricas gerais: universal afirmativa, universal negativa, particular afirmativa e particular negativa.

---

A aguardar os alunos inscritos pela primeira vez no 1º ano na FLUL.

13 Setembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

---