Prof. Adolfo Neto (DAINF-UTFPR)

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Guia de Estudo para a Prova 1 ======

===== O(A) aluno(a) 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 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
  * 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
  * 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 =====

  * Lendo o texto [[https://drive.google.com/file/d/1Zu7Rxcaq2i0mKCubkrw-A8Yh9upT2gSo/view?usp=sharing|A Estrutura de um Argumento]] e o texto [[https://criticanarede.com/log_nocoes.html|Algumas noções de lógica, de António Padrão]] que fala de argumentos válidos e argumentos sólidos.
    * [[https://filosofianaescola.com/logica/argumento-valido-e-correto/|Argumento válido e correto]]
  * Escutando o [[https://soundcloud.com/adolfo-neto/argumentos|Á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 [[https://mrieppel.net/prog/truthtable.html|Gerador de Tabela Verdade de Michael Rieppel]].

  * Usando o [[https://www.wolframalpha.com/input/?i=p+and+q+implies+r|WolframAlpha]]
  * Assistindo aos [[https://www.youtube.com/playlist?list=PLF5ttO8F-IsRGv0ad2ckPPpJALPG5N7jp|vídeos na playlist da disciplina]]
  * Resolvendo os exercícios e as provas anteriores
  * Respondendo a [[https://speakerdeck.com/adolfont/questoes-de-logica|Questões de Lógica]]
  * [[https://drive.google.com/drive/folders/1UccpILTFLBZjeGzatpW41q2C0rbYQjiZ?usp=sharing|Materiais]]


==== Descartado ====

  * Usando a implementação em Clojure/Elixir de Sintaxe e Semântica de Lógica Clássica Proposicional
Prof. Adolfo Neto (DAINF-UTFPR)

User Tools

Site Tools

Page Tools
