Sumários
Validade -- GU, IE, GE
21 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Regras primitivas do Cálculo de Predicados: Generalização Universal, Instanciação Existencial e Generalização Existencial.
Validade -- GU, IE, GE
.
A semântica dos quantificadores
20 Novembro 2017, 18:00 • Ricardo Santos
Esclarecimentos sobre o que é uma interpretação na lógica de predicados: o domínio não pode ser vazio; cada nome refere um único objecto (não há ‘nomes vazios’, mas pode haver objectos com mais do que um nome); a extensão de um predicado de dois lugares é um conjunto de pares ordenados. Instâncias de uma quantificação universal e instâncias de uma quantificação existencial. As condições de verdade de uma quantificação universal e de uma quantificação existencial. Construção de interpretações para fórmulas dadas.
Validade -- IU
20 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Teste de validade de argumentos para colocar em forma normal silogística.
Correcção do exercício escrito
16 Novembro 2017, 18:00 • Ricardo Santos
Resolução dos exercícios do teste da aula anterior.
Lógica Aristotélica
16 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios na Teoria do Silogismo.