questoes_de_logica_para_computacao
Table of Contents
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?
questoes_de_logica_para_computacao.txt · Last modified: 2020/11/19 11:42 by 127.0.0.1