Sumários
Traduções
29 Setembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça
Exercícios de aplicação das primeiras quatro regras primitivas.
Tradução de enunciados da linguagem corrente na linguagem do Cálculo Proposicional.
II. Teoria dos Conjuntos - 1
29 Setembro 2022, 09:30 • António José Teiga Zilhão
II. 1. Ontologia e conceitos fundamentais da Teoria dos Conjuntos: conjuntos, objectos, relação de pertença de objectos a conjuntos e versão conjuntista do princípio lógico do terceiro excluído.
II.2. Axiomas e definições da Teoria dos Conjuntos: Axioma da Extensionalidade (e princípios dele decorrentes como o Princípio da Irrelevância da Ordem e o Princípio da Irrelevância da Repetição), Axioma da Extracção e Axioma do Conjunto Vazio. Definições de conjunto vazio, conjunto singular e conjunto universo.
I. Lógica Aristotélica - 6
27 Setembro 2022, 09:30 • António José Teiga Zilhão
I.4. Falácias
I.4.1. Falácias semânticas
I.4.2. Falácias sintácticas
I.4.3. Falácias semânticas e sintácticas.
Resolução de exercícios no âmbito da Lógica Aristotélica.
As Primeiras Quatro Regras Primitivas
26 Setembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça
As primeiras quatro regras primitivas: Modus Ponens (MP), Modus Tollens (MT), Silogismo Disjuntivo (SD) e Silogismo Hipotético (SH).