Sumários
Correcção do exercício escrito. Completude expressiva. Conectivas não-verofuncionais.
22 Outubro 2018, 18:00 • Ricardo Santos
Correcção do exercício escrito.
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 ...’).
Testes de validade por construção de interpretações
16 Outubro 2018, 18:00 • Ricardo Santos
Testar a validade de formas argumentativas construindo interpretações e averiguando se existe algum contramodelo. Resolução de exercícios. Dois casos especiais: argumentos com conclusão tautológica e argumentos com premissas contraditórias ou inconsistentes. Formalização de argumentos dados na linguagem natural e teste da sua validade.
Interpretações e contramodelos (continuação)
15 Outubro 2018, 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.
Interpretações e contramodelos
11 Outubro 2018, 18:00 • Ricardo Santos
Limitações do método das tabelas de verdade. A análise exaustiva faz muitos cálculos inúteis. Um método mais directo: a construção de contramodelos como prova de invalidade.