Sumários
Regras de Validade Silogística
14 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Regras de Validade Silogística
Interpretações da linguagem da lógica de predicados
13 Novembro 2017, 18:00 • Ricardo Santos
Exercícios de formalização. Interpretações da linguagem da lógica de predicados. Os elementos essenciais de uma interpretação: um domínio de objectos; as referências dos nomes; as extensões dos predicados. Avaliação de fórmulas complexas em interpretações dadas. As noções de verdade-numa-interpretação e falsidade-numa-interpretação.
Teoria do Silogismo
13 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
O problema da Implicação existencial. Proposições subalternas no Quadrado da Oposição.
O léxico e a noção de fórmula bem formada. Árvores sintácticas.
9 Novembro 2017, 18:00 • Ricardo Santos
O léxico da linguagem da lógica predicados. A noção de fórmula bem formada (abreviadamente: fbf). O que são regras recursivas. Variáveis livres e variáveis ligadas. Frases abertas e frases fechadas. As árvores sintácticas. Mais exercícios de formalização.