Guia de Estudo para a Prova 1

O(A) aluno(a) deverá ser capaz de:

Representar proposições como símbolos
Escrever fórmulas bem formadas
- Átomos, Conectivos e suas aridades, regras de formação
Calcular o tamanho de uma fórmula
Calcular o conjunto de subfórmulas (próprias ou não) de uma fórmula
Desenhar a árvore de análise de uma fórmula
Descrever a importância do estudo da sintaxe da Lógica Proposicional

Escrever uma valoração para um conjunto de átomos
Atribuir uma valoração a uma fórmula a partir dos valores de seus átomos
Escrever uma valoração que satisfaça (ou falsifique) uma fórmula
Classificar uma fórmula em satisfazível, falsificável, válida ou insatisfazível
Descrever as relações entre as classificações
Desenhar a tabela-verdade de uma fórmula
Verificar se uma fórmula é consequência lógica de outra fórmula
Verificar se uma fórmula é consequência lógica de um conjunto de fórmulas
Verificar se duas fórmulas são logicamente equivalentes
Verificar se uma fórmula usando um novo conectivo é consequência lógica de uma ou mais fórmulas usando um novo conectivo
Verificar se uma fórmula usando um novo conectivo é logicamente equivalente a uma fórmula usando os conectivos vistos anteriormente
Descrever a importância de verificar se uma fórmula é consequência lógica de um conjunto de fórmulas

Lendo o texto A Estrutura de um Argumento e o texto Algumas noções de lógica, de António Padrão que fala de argumentos válidos e argumentos sólidos.
- Argumento válido e correto
Escutando o Áudio sobre Argumentos
Lendo o livro de Silva-Finger-Melo, capítulo 1
Lendo o livro de Huth-Ryan, capítulo 1 (árvores de análise só tem lá)
Usando o Logicamente-UTFPR
Usando aplicativos/sites que fazem tabela-verdade, como este Gerador de Tabela Verdade de Michael Rieppel.

Usando a implementação em Clojure/Elixir de Sintaxe e Semântica de Lógica Clássica Proposicional