Table of Contents
Questões de Lógica para Computação
Questões mais conceituais
Introdução à Lógica
Lógica Proposicional Clássica
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?