Sumários
Regras de Equivalência
17 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Estudo das regras de equivalência para o Cálculo Proposicional.
Completude expressiva. Conectivas não-verofuncionais
16 Outubro 2017, 18:00 • Ricardo Santos
Completude expressiva do conjunto de conectivas seleccionado (viz. negação, conjunção, disjunção, condicional e bicondicional). Como expressar outras funções de verdade usando as conectivas deste conjunto. Conectivas verofuncionais e não-verofuncionais (exemplos: ‘É necessário que ...’, ‘... antes que ...’, ‘... porque ...’). O conceito de demonstração.
Regras Implicacionais (conclusão)
16 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Conclusão do estudo das Regras Implicacionais para o Cálculo Proposicional: Adição, Dilema Construtivo, Simplificação e Conjunção.
Interpretações e contramodelos (continuação)
12 Outubro 2017, 18:00 • Ricardo Santos
Definição de interpretação: uma interpretação (da linguagem da lógica proposicional) é uma atribuição de valores, verdadeiro ou falso, às letras esquemáticas de frase. Verdade (ou falsidade) numa interpretação: a avaliação de fórmulas complexas relativamente a diferentes interpretações. Definição de contramodelo: um contramodelo de uma forma argumentativa é uma interpretação na qual as premissas são todas verdadeiras e a conclusão é falsa. Uma forma argumentativa é inválida se e só se tem um contramodelo. Resolução de exercícios.
Derivações
12 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de derivação no C. Proposicional com as quatro regras estudadas.