Escolar Documentos
Profissional Documentos
Cultura Documentos
ª JANNINE DOMINGOS
LÓGICA PROPOSICIONAL
DEFINIÇÃO DE LÓGICA
A lógica é o estudo sobre a natureza do raciocínio e do
conhecimento. Ela é usada para formalizar e justificar os elementos
do raciocínio empregados nas demonstrações/provas de teoremas.
A lógica clássica se baseia em um mundo bivalente ou binário (visão
restrita do mundo real), onde os conhecimentos são representados
por sentenças que só podem assumir dois valores verdade
(verdadeiro ou falso). Portanto, nesse contexto, uma demonstração é
um meio de descobrir uma verdade pré-existente deste mundo.
1) O QUE É A LÓGICA
PROPOSICIONAL?
A lógica proposicional é a forma mais simples de lógica. Nela
os fatos do mundo real são representados por sentenças sem
argumentos, chamadas de proposições. Segue o exemplo
abaixo:
2) O QUE É UMA PROPOSIÇÃO?
Uma proposição é uma sentença, de qualquer natureza, que pode
ser qualificada de verdadeiro ou falso.
Ex.: 1 + 1 = 2 é uma proposição verdadeira.
0 > 1 é uma proposição falsa.
Se não é possível definir a interpretação (verdadeiro ou falso) da
sentença, esta NÃO é uma proposição. Alguns exemplos deste tipo
de sentença são apresentados abaixo:
• Frases Interrogativas (ex: Qual o seu nome?).
• Frases Imperativas (ex: Preste atenção!).
• Paradoxos Lógicos (ex: Eu estou mentindo).
2.1) TIPOS DE PROPOSIÇÕES
Podemos classificar as proposições em simples (atômicas) ou
compostas (moleculares):
¬(p V q) = p ↔ q ¬(p → q) = p^ ¬q
Para negarmos uma proposição com a Para negarmos uma proposição condicional,
estrutura de uma disjunção exclusiva, repete-se a primeira parte, troca-se o
devemos transformá-la em uma estrutura conectivo por “e” e nega-se a segunda
bicondicional. Vejamos: parte. Vejamos:
“Ou João é rico ou Pedro é bonito”. “Se sou inteligente então passarei de ano.”
p: João é rico p: Sou inteligente
q: Pedro é bonito
q: Passarei de ano
Negando-a, temos: “João é rico se e
somente se Pedro é bonito.” Negando-a, temos: “Sou inteligente e não
passarei de ano.”
5) Negação da operação da Bicondicional:
¬(p ↔ q) = p V q
Por exemplo: A proposição condicional “Se chove, então a rua fica molhada” pode ser
lida das seguintes formas:
• Chover é uma condição suficiente para a rua ficar molhada.
• A rua ficar molhada é uma condição necessária quando chove.