NAVEGAÇÃO
INÍCIO
GUIAS DE ESTUDOS
MONITORIA
ATENDIMENTO
AVALIAÇÃO
LINKS IMPORTANTES

Guias de Estudo

Nos Guias de Estudo descrevo o que espero que vocês saibam antes de fazer cada prova.

Guia de estudo para a Prova 1

A pessoa estudante deverá ser capaz de:

• Introdução:
  • Descrever o que entende por lógica
  • Descrever o que entende por argumento
  • Descrever o que entende por proposição
  • Descrever o que entende por premissa
  • Descrever o que entende por conclusão
  • Descrever a forma padrão de argumentos
  • Descrever o que entende por argumento complexo
  • Descrever o que entende por premissa não-básica
  • Descrever o que entende por conclusão intermediária
  • Escrever argumentos válidos
  • Escrever argumentos sólidos (corretos)
• Sintaxe de Lógica Clássica Proposicional:
  • 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
  • Remover parênteses de fórmulas bem formadas
  • Descrever a importância do estudo da sintaxe da Lógica Proposicional
• Semântica de Lógica Clássica 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
  • Definir conectivos uns a partir dos outros
  • 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

Como estudar para a Prova 1

• Lendo Capítulo 1 - Argumentos de Para Todxs NATAL: uma introdução à lógica formal
• Lendo o texto A Estrutura de um Argumento (também aqui) e o texto Algumas noções de lógica, de António Padrão, que fala de argumentos válidos e argumentos sólidos.
  • Texto complementar: Diferença entre 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, este de Micael Levi L. Cavalcante - adaptado do de Rieppel, que calcula consequência lógica e este de Isaac Luiz Vieira Ferreira que faz as tabelas no formato em que prefiro e que, de forma indireta, calcula o conjunto de subfórmulas de uma fórmula.

• Usando o WolframAlpha.
• Assistindo aos vídeos na playlist de Lógica para Computação.
• Resolvendo os exercícios e as provas anteriores.
• Respondendo a Questões de Lógica.
• Usando os outros materiais da disciplina.

Guia de estudo para a Prova 2

A pessoa estudante deverá ser capaz de:

• Sistemas Dedutivos - Teoria:
  • Descrever o que entende por sistema dedutivo
  • Descrever o que entende por sistema dedutivo refutacional
  • Descrever o que entende por sistema dedutivo não-refutacional
• Tablôs Analíticos para Lógica Proposicional Clássica com Fórmulas Marcadas:
  • Descrever as regras do sistema de Tablôs Analíticos
  • Aplicar as regras do sistema de Tablôs Analíticos
  • Demonstrar (refutar) sequentes usando o sistema de Tablôs Analíticos
  • Descrever uma valoração contra-exemplo obtida a partir de um ramo aberto e saturado de um tablô
• Dedução Natural para Lógica Proposicional Clássica:
  • Descrever as regras do sistema de Dedução Natural
  • Aplicar as regras do sistema de Dedução Natural
  • Demonstrar sequentes usando o sistema de Dedução Natural

• Aplicações de Lógica na Computação:

  • Descrever aplicações de Lógica na Computação
  • Descrever problemas causados por não aplicação de Lógica
• Sintaxe de Lógica de Predicados:
  • Escrever frases que podem ser representadas como fórmulas da Lógica de Predicados
  • Representar frases como fórmulas
  • Ler uma fórmula como uma frase em língua natural
  • Escrever fórmulas bem formadas a partir de uma assinatura
  • Descrever funções (símbolos funcionais), constantes e variáveis
  • Descrever ocorrências livres e presas de variáveis
  • Identificar ocorrências livres e presas de variáveis
  • Definir assinaturas
  • Descrever uma assinatura para um conjunto de fórmulas
  • Verificar se uma fórmula é bem formada em relação a uma assinatura
• Semântica de Lógica de Predicados:
  • Criar um modelo que satisfaça ou não um conjunto de fórmulas
  • Verificar se um modelo satisfaz ou não um conjunto de fórmulas
• Sistemas Dedutivos para Lógica de Predicados:
  • Visão geral das regras dos quantificadores

Como estudar para a Prova 2

• Lendo o livro de Silva-Finger-Melo, capítulos 2, 4 e 5.
• Lendo o livro de Huth-Ryan, capítulos 1 e 2.
• Lendo as Regras para o Sistema de Tablôs Analíticos com Fórmulas Marcadas.
• Lendo Lista de Aplicações da Lógica na Computação, entre outros textos; complementando com os livros e buscas na Internet.
• Assistindo aos vídeos na playlist de Lógica para Computação.
• Resolvendo os exercícios e as provas anteriores.
• Usando os outros materiais da disciplina.
• Vendo exemplos do antigo Trabalho 3 de Lógica para Computação.
• Usando a ANITA (Analytic Tableau Proof Assistant)
• Usando a NADIA - Natural DeductIon proof Assistant
• Usando o Proof Tool