====== Questões de Lógica para Computação ======

===== Questões mais conceituais =====

==== Introdução à Lógica ====

  * O que é Lógica?
  * O que é um Argumento?
  * Para quê serve a Lógica?
  * Dê exemplos de aplicações da Lógica na Computação.
  * Por que a linguagem da Lógica é formalizada?


==== Lógica Proposicional Clássica ====

=== Sintaxe ===

  * O que são proposições?
  * O que são conectivos lógicos?
  * O que é uma tabela-verdade? Qual a relação entre tabelas-verdade e valorações?

=== Semântica ===
  * O que é uma valoração?
  * O que significa dizer que uma fórmula é consequência lógica de um conjunto de fórmulas?