LÓGICA PROPOSICIONAL

Prof. Ronaldo R. Goldschmidt

ronaldo.rgold@gmail.com
 LÓGICA PROPOSICIONAL

A Lógica Formal fornece as bases para o método de pensar

organizado e cuidadoso que caracteriza qualquer atividade
racional. Além disso, a Lógica Formal tem aplicações diretas
em Ciência da Computação.

Existem vários tipos de Lógica Formal, sendo duas

especialmente importantes:
• Lógica Proposicional (Cálculo Proposicional)
• Lógica de Predicados (Lógica de Primeira Ordem)

A codificação em Lógica permite a remoção de ambigüidades

inerentes às Linguagens Naturais.
 LÓGICA PROPOSICIONAL

Situação Problema (exemplo)

Você foi convocado a participar do júri em um processo criminal.
O advogado de defesa argumenta o seguinte:
Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca não estava na gaveta
ou Jason Pritchard viu a faca. Se a faca não estava lá no dia 10 de outubro, segue que
Jason Pritchard não viu a faca. Além disso, se a faca estava lá no dia 10 de outubro,
então a faca estava na gaveta e o martelo estava no celeiro. Mas todos sabemos que o
martelo não estava no celeiro. Portanto, senhoras e senhores do júri, meu cliente é
inocente.

Pergunta: O argumento do advogado está correto? Como você

deveria votar?
Vamos usar Lógica Proposicional para nos ajudar no raciocínio.
 LÓGICA PROPOSICIONAL

A língua portuguesa, assim como outras línguas, é formada por

palavras e sentenças, numa teia sutil e complexa. Expressar-se com
clareza e precisão não é uma tarefa fácil.
De uma maneira geral, podemos classificar as sentenças de um língua
da seguinte forma:
a) Declarativas: “Hoje é domingo.” , “Eu não saí de casa o dia todo.”
b) Interrogativas: “Quem vem lá?”, “Qual o seu nome?”
c) Exclamativas: “Lógico!”, “Parabéns!”, “Viva!”
d) Imperativas: “Não roubarás!”, “Feche a porta, por favor.”

Na lógica, devemos lidar com sentenças declarativas, que possuem

valor-verdade (verdadeira ou falsa).
 LÓGICA PROPOSICIONAL

Definição: Uma proposição (ou declaração) é uma sentença que é

falsa ou verdadeira.
Notação: Usamos letras minúsculas tais como p, q, r, s, para
representar proposições. Porém alguns autores usam letras
maiúsculas do início do alfabeto: A, B, C, etc...

Exemplo: Considere as seguintes sentenças. Quais são

proposições?
a) Dez é menor do que sete.
b) Como está você?
c) Ela é muito talentosa.
d) Existe vida em outros planetas do universo
 LÓGICA PROPOSICIONAL

Proposições podem ser simples ou compostas. Exemplos:

a) Dez é menor do que sete.
b) Dez é maior do que sete e menor do que vinte.
c) Ana é muito talentosa ou muito bonita.
d) Existe vida em outros planetas do universo.
e) Joana não é agitada.
f) Se Paulo comprou o presente, então Maria vai ficar feliz.
g) Há fumaça se, e somente se, há fogo.
h) João é levado ou Vinícius não é estudioso.
i) Penso, logo, existo.
j) Somente aqueles que são bravos, vencem as batalhas.
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
• O símbolo ∧ é um conectivo lógico binário que representa e. Se p
e q são proposições verdadeiras, a proposição p∧q
(leia-se “p e q”) deve ser considerada verdadeira.
• A expressão p∧q é chamada a conjunção de p e q; p e q são
denominados os elementos, ou fatores, dessa expressão.
• É verdadeira somente quando ambos elementos forem verdadeiros.

Exemplo: A noite é escura e o dia é claro.

p: a noite é escura
q: o dia é claro
p ∧ q: a noite é escura e o dia é claro.
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
• Outro conectivo binário é a palavra ou, detonada pelo símbolo ∨.
A expressão p ∨ q (Leia-se “p ou q”) é a disjunção de p e q; p e q
são elementos, ou fatores, da disjunção.
• É verdadeira sempre que pelo menos um dos fatores for
verdadeiro. É falsa, somente quando ambas proposições forem
falsas.

Exemplo: A noite é escura ou o dia é escuro.

p: a noite é escura
q: o dia é escuro
p ∨ q: a noite é escura ou o dia é escuro.
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
• Conectivo unário, isto é, um conectivo agindo em uma
expressão para produzir uma segunda expressão. A negação é um
conectivo lógico unário. A negação de p – simbolizada por ~p – é
lida como “não p”. Inverte o valor verdade da proposição.
• As proposições p e ~p têm valores-verdade opostos.

Exemplo: Pedro é estudioso.

p: Pedro é estudioso.
~p: Não é o caso que Pedro seja estudioso.
Ou, de forma mais simples:
~p: Pedro não é estudioso.
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
• A proposição composta é denotada por p → q (leia-se “p implica
q”). O conectivo lógico aqui é o condicional (ou a implicação) e
significa que a verdade de p implica, ou leva a, a verdade de q.
No condicional p → q, p é a proposição antecedente e q a
consequente.

Exemplo: Se você estuda então você aprende.

p: você estuda
q: você aprende
p→q
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
• O conectivo bicondicional (ou equivalência) é simbolizado por
↔. A expressão p ↔ q é uma abreviação de (p → q) ∧ (q → p).
• É verdadeiro quando p e q possuem o mesmo valor-verdade.

Exemplo: Você estuda se, e somente se, você aprende.

p: você estuda
q: você aprende
p↔q
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
Mapeamento: Língua Portuguesa – Lógica de Proposições
Expressão em Português Conectivo Lógico Expressão Lógica

e; mas; também; além disso Conjunção p∧q

ou Disjunção p∨q

Se p, então q. Condicional p→q

p implica q.
p, logo q.
p só se q; p somente se q.
q segue de p.
p é uma condição suficiente para q; basta p para q.
q é uma condição necessária para p.
p se e somente se q Bicondicional (equivalência) p↔q
p é condição necessária e suficiente para q.
não p Negação ~p
É falso que p ...
Não é verdade que p ...
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
• Podemos encadear letras de proposição, conectivos e parênteses (ou colchetes)
para formar novas expressões, como:
(p → q) ∧ (q → p)
• Certas regras de sintaxe têm que ser obedecidas; a cadeia
p )) ∧ ∧ → qr
não seria considerada válida. Uma cadeia que forma uma expressão válida é
denominada uma fórmula bem formulada ou fbf. A ordem de precedência é a
seguinte:
1. Para conectivos dentro de vários parênteses, efetua-se primeiro as expressões
dentro dos parênteses
2. ~
3. ∧, ∨
4. →
5. ↔
 LÓGICA PROPOSICIONAL

Conectivos Lógicos
Exercício: Codifique os seguintes textos usando a lógica de
proposições:
a) Se a chuva continuar, então o rio vai transbordar.
b) Se sete é um número par então esta caneta é um rinoceronte.
c) Rosas são vermelhas ou violetas não são azúis.
d) Uma condição suficiente para falha de uma rede elétrica é que a
chave central desligue.
e) Os abacates só estão maduros quando estão escuros e macios.
f) Dois é um número par e primo.
g) Uma boa dieta é condição necessária para um gato ser saudável.
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

• O valor-verdade de cada proposição é sempre, ou verdadeiro (V)
ou falso (F). O valor verdade de uma proposição composta é
determinado pelos valores-verdade de cada uma das proposições
que a compõem.
• Nas tabelas-verdade apresentamos todas as possibilidades de
combinações entre os valores-verdade das proposições
envolvidas.
• Exemplo: Considerando a proposição p ∧ q, há 4 possibilidades:
(i) p é V e q é V; (ii) p é V e q é F;
(iii) p é F e q é V; (iv) p é F e q é F
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

• Conectivo E (conjunção):

Tabela Verdade – Conjunção

p q p∧
∧q
V V V
V F F
F V F
F F F
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

• Conectivo OU (Disjunção):

Tabela Verdade – Disjunção

p q p∨
∨q
V V V
V F V
F V V
F F F
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

• Conectivo SE-ENTÃO (Implicação)

Tabela Verdade – Implicação

p q p→q
V V V
V F F
F V V
F F V
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

• Conectivo SE, E SÓ SE (Bicondicional ou Equivalência)

Tabela Verdade – Bicondicional

p q p→q q→p (p→q) ∧ (q→p)
V V V V V
V F F V F
F V V F F
F F V V V
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

• Conectivo NÃO (Negação)

Tabela Verdade - Negação

p ~p
V F
F V
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

Tabela Verdade Resumo

p q p∧q p∨q p→q p↔q ~p
V V V V V V F
V F F V F F
F V F V V F V
F F F F V V
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

Exercício: Montar a tabela verdade da expressão:
p ∨ ~q → ~(p ∨ q)
 LÓGICA PROPOSICIONAL

Conectivos Lógicos e Tabelas-Verdade

• Se estamos elaborando uma tabela-verdade para uma fbf com n
letras diferentes de proposição, quantas linhas deve ter essa
tabela?
O número de linhas em uma tabela-verdade contendo n letras de
proposição é 2n.
• Construa tabelas-verdade para as fbfs a seguir:
a) (p → q) ↔ (q → p)
b) (p ∨ ~p) → (q ∧ ~q)
c) ~[(p ∧ ~q) → ~r]
d) (p → q) ↔ (~q → ~p)
 LÓGICA PROPOSICIONAL

Tautologias, Contradições e Equivalências

• Uma fbf que assume apenas o valor V, é denominada uma
tautologia. Uma tautologia é “intrinsecamente verdadeira” pela
sua própria estrutura; ela é verdadeira independentemente dos
valores lógicos atribuídos às suas letras de proposição.
• Uma fbf cujo valor lógico é sempre falso, é denominada uma
contradição.
• Suponha que p e q representam duas fbfs e suponha que a fbf p
↔ q seja uma tautologia. Nesse caso dizemos que p e q são fbfs
equivalentes;
• Denotamos a equivalência por p ⇔ q. Assim, p ⇔ q enuncia um
fato: a fbf particular p ↔ q é uma tautologia. Alternativa: p ≡ q.
 LÓGICA PROPOSICIONAL

Tautologias, Contradições e Equivalências

• Algumas Equivalências Tautológicas
1ª. p ∨ q ⇔ q ∨ p 1b. p ∧ q ⇔ q ∧ p (comutatividade)

2ª. (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) 2b. (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r) (associatividade)

3ª. p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) 3b. p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) (distributividade)

4ª. p ∨ 0 ⇔ p 4b. p ∧ 1 ⇔ p (elementos neutros)

5ª. p ∨ ~p ⇔ 1 5b. p ∧ ~p ⇔ 0 (complementares)

• Exercício: Comprovar as equivalências acima.

 LÓGICA PROPOSICIONAL

Tautologias, Contradições e Equivalências

• Leis de Morgan

~(p ∨ q) ⇔ ~p ∧ ~q
E
~(p ∧ q) ⇔ ~p ∨ ~q

• Exercício: Comprovar as equivalências acima.

LÓGICA PROPOSICIONAL

Atividades Práticas

• Lista de Exercícios II – Seção 1.1

Leituras Recomendadas

• Seção 1.1 – Judith Gersting

 LÓGICA PROPOSICIONAL

Argumentação
• Uma argumentação constitui-se de uma coleção de proposições (premissas) e
uma proposição final (conclusão).
• Do ponto de vista da Lógica, para que uma argumentação seja válida, é
necessário que a conclusão seja uma conseqüência das premissas.
• Exemplos:
• Premissas:
• Todo homem é mortal.
• Sócrates é homem.
• Conclusão: Sócrates é mortal.
• Premissas:
• Todos os brasileiros gostam de feijoada.
• Todos os cariocas são brasileiros.
• Conclusão: Todos os cariocas gostam de feijoada.
 LÓGICA PROPOSICIONAL

Argumentos Válidos
• Um argumento pode ser representado em forma simbólica como:
p1 ∧ p2 ∧ p3 ∧ ... ∧ pn → q onde p1, p2, ... pn são proposições dadas,
chamadas de hipóteses (ou premissas) de argumento, e q é a conclusão
do argumento. pi e q representam fbfs, não apenas letras de proposição.
Quando esse deve ser considerado um argumento válido?

• Quando as hipóteses do condicional p1 ∧ p2 ∧ p3 ∧ ... ∧ pn→ q forem

verdadeiras e a conclusão também.

• No caso de hipóteses verdadeiras e conclusão falsa, o argumento é

inválido (também chamado de falácia).

• Notação alternativa: p1 ∧ p2 ∧ p3 ∧ ... ∧ pn ⇒ q

 LÓGICA PROPOSICIONAL

Regras de Inferência
De Podemos Deduzir Nome/Abreviação da Regra
p, p → q q Modus Ponens – mp
p → q, q → r p→q Lei do Silogismo – silog
p → q, ~q ~p Modus Tollens – mt
p, q p∧q Conjunção – conj
p∧q p, q Simplificação – simp
p p∨q Adição – ad
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exemplos:
• Premissas:
• Se você estudar (p), você passará no teste (q).
• Você estuda (p)
• Conclusão:
• Você passará no teste (q)

• (p → q) ∧ p ⇒ q (Modus Ponens)
(Construa a tabela verdade e verifique validade do argumento)
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exemplos:
• Premissas:
• Se não chover (p), Mateus irá ao parque (q).
• Se Mateus for ao parque (q), ele brincará com os amigos (r)
• Conclusão:
• Se não chover (p), Mateus brincará com os amigos (r)

• (p → q) ∧ (q → r) ⇒ p → r (Lei do Silogismo)
(Construa a tabela verdade e verifique validade do argumento)
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exemplos:
• Premissas:
• Se você estudar (p), você passará no teste (q).
• Você não passa no teste (~q)
• Conclusão:
• Você não estudou (~p)

• (p → q) ∧ ~q ⇒ ~p (Modus Tollens)
(Construa a tabela verdade e verifique validade do argumento)
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exemplos:
• Premissas:
• O dia é claro (p)
• A noite é escura (q)
• Conclusão:
• O dia é claro e a noite é escura (p ∧ q)

• (p) ∧ (q) ⇒ p ∧ q (Conjunção)

(Construa a tabela verdade e verifique validade do argumento)
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exemplos:
• Premissas:
• O dia é claro (p) e a noite é escura (q)
• Conclusões:
• O dia é claro (p)
• A noite é escura (q)

• p ∧ q ⇒ p e p ∧ q ⇒ q (Simplificação)
(Construa a tabela verdade e verifique validade do argumento)
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exemplos:
• Premissas:
• Elefantes são pesados (p)
• “Qualquer afirmação” (q)
• Conclusões:
• Elefantes são pesados (p) ou “qualquer afirmação” (q)

• p ⇒ p ∨ q (Adição)
(Construa a tabela verdade e verifique validade do argumento)
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exercício:
Prove que (p → q) ∧ (~r ∨ p) ∧ r ⇒ q
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exercício: Verifique se é válida a argumentação do advogado
apresentada como motivação para o estudo da lógica.
Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca não estava na
gaveta ou Jason Pritchard viu a faca. Se a faca não estava lá no dia 10 de outubro,
segue que Jason Pritchard não viu a faca. Além disso, se a faca estava lá no dia 10 de
outubro, então a faca estava na gaveta e o martelo estava no celeiro. Mas todos
sabemos que o martelo não estava no celeiro. Portanto, senhoras e senhores do júri,
meu cliente é inocente.
 LÓGICA PROPOSICIONAL

Regras de Inferência
Exercício: Verifique se é válida a argumentação abaixo.
Se as taxas de juros cairem, o mercado imobiliário vai melhorar. Ou a taxa federal de
descontos vai cair, ou o mercado imobiliário não vai melhorar. As taxas de juros vão
cair. Portanto, a taxa federal de descontos vai cair.
LÓGICA PROPOSICIONAL

Atividades Práticas

• Lista de Exercícios II – Seção 1.2

Leituras Recomendadas

• Seção 1.2 – Judith Gersting