Differences

This shows you the differences between two versions of the page.

--- questoes_de_logica_para_computacao [2016/09/16 19:52] – created adolfont
+++ questoes_de_logica_para_computacao [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 2: / Line 2: @@
 ===== Questões mais conceituais =====
+==== Introdução à Lógica ====
   * O que é Lógica?
   * O que é um Argumento?
-  * Para quẽ serve a Lógica?
+  * 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?