Lógica

Apostila de Lógica

1

Sumário
Primeira Unidade – Lógica Proposicional
Introdução à lógica
Introdução à lógica simbólica

pág.3 pág.9 Sintaxe da Lógica Proposicional

pág.12

Semântica da Lógica Proposicional
O problema da Satisfatibilidade e correlatos
Considerações sobre o custo computacional do SAT
O Método dos “Tableaux” Analíticos
O Método da Resolução
Sentenças Condicionais
O Método da Dedução Natural

pág.20 pág.23 pág.27 pág.28 pág.34 pág.37 pág.39

2

1 – Introdução
Você consegue descobrir quais das sentenças abaixo são consistentes? “Seria errado censurar programas violentos na Televisão, pois o comportamento das pessoas não chega a ser afetado pelo que elas vêem na telinha. Igualmente, seria uma boa idéia se ter mais programas mostrando o lado bom do brasileiro, pois assim calaríamos a boca dos que estão sempre denegrindo o Brasil.”
“Nunca desenhei nada na minha vida. Mas se eu sentasse e me concentrasse, bastariam apenas alguns minutos para eu produzir algo tão valioso quanto qualquer coisa que Picasso tenha feito.”
“Walter se associou ao clube há dois anos, e tem sido um de seus sócios mais leais desde então. Ano passado ele pagou pelas férias de exatamente aqueles sócios que não pagaram por suas próprias férias.” Lógica: Estudo dos princípios e critérios da argumentação e inferência válidas.

Elementos Básicos de um argumento: Sentenças e, possivelmente, inferências.

Tipos de Sentenças envolvidas em um argumento:
• Proposição: Enunciados que podem ser verdadeiros ou falsos. • Lógica Aristotélica: Objetos e predicados.

3

Classificação das Sentenças:
• Simples: “x é P” e “x não é P”, onde x é o objeto e P é um predicado. • Compostas:
- Universal Afirmativa: “Todo A é B”
- Universal Negativa: “Nenhum A é B”
- Existencial Afirmativa: “Algum A é B”
- Existencial Negativa: “Algum A não é B”
Inferência: Analisar as premissas e chegar a uma conclusão.
Premissa 1
Premissa 2
...