Cálculo Proposicional

• Proposição

• Princípios Lógicos Fundamentais

• Proposições compostas

• Operações lógicas

• Tabela Verdade

• Tautologia, contradição e contingência

• Implicação e Equivalência Lógicas

• Equivalências especiais

• Silogismo
Yara Rabay
 Proposição Nos exemplos a seguir, se não especificado, os
números relacionados serão sempre reais.

Sentenças declarativas afirmativas (expressão de uma linguagem) da

qual tenha sentido afirmar que seja verdadeira ou que seja falsa.
• A terra não é plana •  > 3,14
• Matemática é uma ciência • Todo primo é impar
• Se 𝑎. 𝑏 = 0, então 𝑎 = 0 ou 𝑏 = 0
• 3≤4
• Todo paraibano é brasileiro
• Malaika é linda e Kalil é professor
• Se a é par e b é par, então (a+b)2 é par
• 𝑎2 = 𝑏 2 + 𝑐 2 se e somente se a, b e c são
• Algumas funções quadráticas não têm raízes
lados de um triângulo retângulo, a o maior
lado
Nas operações lógicas, designamos as sentenças simples por uma
letra minúscula e as sentenças compostas por letras maiúsculas.
P: A terra não é plana x:  > 3,14
q: Matemática é uma ciência i: Todo primo é impar
Z: Se 𝑎. 𝑏 = 0, então 𝑎 = 0 ou 𝑏 = 0
R: 3 ≤ 4 (conectivo implícito menor ou igual)
b: Todo paraibano é brasileiro
M: Malaika é linda e Kalil é professor
S: Se a é par e b é par, então (a+b)2 é par
T: 𝑎2 = 𝑏 2 + 𝑐 2 se e somente se a, b e c são
v: Algumas funções quadráticas não têm raízes
lados de um triângulo retângulo, a o maior lado
 Princípios Lógicos Fundamentais
I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO

Uma proposição NÃO pode ser

FALSA e VERDADEIRA
ao mesmo tempo.

II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO

Toda proposição ou é
Verdadeira ou Falsa,
isto é, verifica-se sempre um destes casos
e nunca um terceiro.
Qual é Valor Lógico (V ou F) das proposições a seguir?
• O número 17 é primo.
• Fortaleza é a capital do Maranhão.
• TIRADENTES morreu afogado.
• (3 + 5)2 = 32 + 52.
• -1 < -7
• 0,131313… é uma dízima periódica simples.
• As diagonais de um paralelogramo são iguais.
• Todo quadrado é um losango.
• O hexaedro regular tem 6 arestas.
• O gráfico de 𝑓 𝑥 = 𝑎𝑥 2 + 𝑏𝑥 + 𝑐 é decrescente se 𝑎 < 0
Qual é Valor Lógico (V ou F) das proposições a seguir?
• Todo número divisível por 5 termina com 5.
• O produto de dois números ímpares é um número ímpar.
• sen2 𝑥 + cos 2 𝑥 = 1
• O número 125 é cubo perfeito.
• O cubo é um poliedro regular.
• 𝑎 2 = 𝑏 2 + 𝑐 2 se e somente se 𝑎, b e c são lados de um triângulo
retângulo, a o maior lado
• Função quadrática têm duas raízes
• Toda função afim tem apenas uma raiz
• A soma dos ângulos internos de alguns triângulos retângulos é 180º
 Proposições Compostas
São representadas por letras maiúsculas e são compostas por
composições simples, representadas por letras minúsculas ligadas por
conectivos
• R (j,k): 3 ≤ 4
• j: 3<4
• k: 3=4
• M (l,v): Malaika é linda e Kalil é professor
• l: Malaika é linda
• v: Kalil é professor
• T (g,t): 𝑎2 = 𝑏 2 + 𝑐 2 se somente se a, b e c são lados de um triângulo retângulo, a o
maior lado
• g: 𝑎2 = 𝑏 2 + 𝑐 2
• t: a, b e c são lados de um triângulo retângulo, a o maior lado
• Z (d,e,f): Se 𝑎. 𝑏 = 0, então 𝑎 = 0 ou 𝑏 = 0
• d: 𝑎. 𝑏 = 0
• e: 𝑎 = 0
• f: 𝑏 = 0
• P (n): A terra não é plana
• n: A terra é plana
Operadores Lógicos
Conectivo Nome do Proposição
Operações Lê-se Termos Resultado
Lógico conectivo composta

~𝑝
Negação ¬ ,~ não não p - Contrário a p
𝑝ҧ

É verdadeira se
Conjunção ∧ e 𝑝 ∧ 𝑞 peq p e q são chamados conjunctos
ambas são verdadeiras

⋁ ou 𝑝 ∨ 𝑞 p ou q p e q são chamados disjunctos

É verdadeira se
inclusiva pelo menos uma é verdadeira
Disjunção

⋁ Ou ou 𝑝⋁ 𝑞 p ou q
É verdadeira se ambas tem valores
exclusiva p e q são chamados disjunctos diferentes

p é o antecedente e
“p implica q” ou
q o consequente
Só é falsa quando p ocorrer e
Condicional
→ Condicional 𝑝→𝑞 q não ocorrer
p é o condição suficiente e
“se p então q”.
q o condição necessária

“p equivale a q” ou
Bi-Condicional ↔ Bi-condicional 𝑝↔𝑞
“p se e só se q”.
p é o condição
É verdadeira quando
suficiente e necessária para
ambas tem o mesmo valor
que q ocorra
Tabela Verdade
A TABELA-VERDADE é um recurso utilizado para determinar
todos os possíveis valores lógicos de uma proposição composta, a
partir de todas as possíveis atribuições de valores lógicos dados às
proposições simples que a compõem.

𝟐𝟏 𝟐𝟐 𝟐𝟑 𝟐𝐧

p p q 𝑝∨𝒒 𝑝 𝑞 𝑟 𝒑 ∧ 𝒒 ∧ ~𝒓 n proposições
V V V V V V V V
F V F V V V F F
F V V V F V F
F F F V F F F
F V V F
F V F F
F F V F
F F F F
Tabela Verdade – Negação (não)

Altera todo resultado verdadeiro em falso e falso em verdadeiro

Exemplos:

p ~p
p: A terra é plana
~p: A terra não é plana
V F

q: 3 ≤ 4
F V
~q: 3 > 4
Tabela Verdade – Conjunção (e)

O resultado é verdadeiro quando ambas proposições são verdadeiras

p q 𝒑∧𝒒 𝒒∧𝒑 Exemplos:

V V V V p: Malaika é linda
q: Kalil é professor
V F F F 𝑝 ∧ 𝑞: Malaika é linda e Kalil é professor

j: 𝑥 < 5
F V F F
k: x>3
𝑝 ∧ 𝑞: 3<x<5
F F F F
Tabela Verdade – Disjunção (ou) Inclusiva

O resultado é verdadeiro quando ao menos uma é verdadeira

Tem um sentido diferente do ou em português.

p q 𝑝∨𝒒 𝒒 ∨𝒑 Exemplos:

V V V V p: Faz frio
q: Chove muito
𝑝 ∨ 𝒒 : Faz frio ou chove muito
V F V V

F V V V
m: esse triângulo é retângulo
n: esse triângulo é isósceles
F F F F
𝑛 ∨ 𝑚: Esse triângulo é retângulo ou isósceles
Tabela Verdade – Disjunção (ou) Exclusiva

O resultado é falso quando ambas tiverem o mesmo valor

Tem o mesmo sentido do ou no português.

p q 𝑝⋁ 𝒒 𝒒⋁𝒑 Exemplos:

V V V V p: Faz frio
q: Faz calor
𝑝 ∨ 𝒒 : Ou faz frio ou faz calor
V F V V

r: Seja 𝑓 𝑥 = 𝑥 2 − 3𝑥 + 2, 𝑥 = 1 é solução de𝑓 𝑥 = 0

F V V V s: Seja 𝑓 𝑥 = 𝑥 2 − 3𝑥 + 2, 𝑥 = 2 é solução de𝑓 𝑥 = 0
𝒓 ∨ 𝒔 : A solução de𝑓 𝑥 = 0 é 𝑥 = 1 ou 𝑥 = 2
F F F F
Tabela Verdade – Implicação (se ... então)

Só é falsa quando a primeira é verdadeira e a segunda é falsa.

p q 𝑝→𝒒 q→ 𝒑 Exemplos:

V V V V p: Zé é paraibano
q: Zé é brasileiro
𝑝 → 𝒒 : Se Zé é paraibano então Zé é brasileiro
V F F V

F V V F

F F V V
Tabela Verdade – Equivalência (se somente se)

Só é verdadeira quando ambas tivereem o mesmo valor

p q 𝑝↔𝒒 q↔𝒑 Exemplos:

V V V V p: x é par
q: x2 é par
𝑝 ↔ 𝒒 : x é par se somente se x2 é par
V F F F

F V F F

F F V V
 Tautologia, contradição e contingência
• Tautologia – quando todos os resultados são verdadeiros
• Contradição = quando todos os resultados são falsos
• Contingência – quando há pelo menos um resultado verdadeiro e um falso

p q Tautologia Contradição Contingência

S(p,q) C(p,q) G(p,q)
V V V F V F V F

V F V F F F F V

F V V F V F V V

F F V F V V F V
Implicação e Equivalência Lógicas

Implicação Lógica (⇒)

Uma proposição P(p, q, r, ...) implica
logicamente ou apenas implica uma
proposição Q(p, q, r, ...) se Q(p, q, r, ...) Equivalência Lógica (⇔)
é verdadeira todas as vezes que P(p, q,
r, ...) for verdadeira. Uma proposição P(p, q, r, ...) é logicamente
equivalente ou apenas equivalente a uma
proposição Q(p, q, r, ...) se as tabelas-
Notação verdade destas duas proposições forem
idênticas.
P(p, q, r, ...) ⇒ Q(p, q, r, ...)
Se P é verdade, então Q é verdade Notação

P(p, q, r, ...) ⇔ Q(p, q, r, ...)

As tabelas verdade de P e Q são iguais
Equivalências lógicas (≡ ) - Propriedades
• Comutativa
• Negação
• 𝑝 ∨ 𝑞 ≡ 𝑞 ∨ 𝑝
• p ∨ ~p ≡ V
• 𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝
• p ∧ ~p ≡ F
• 𝑝↔𝑞 ≡ 𝑞↔𝑝
• Dominação
• Associativa
• p∨V≡V
• (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
• p∧F≡F
• (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
• Absorção
• Distributiva
• 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
• 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (p ∨ q ) ∧(p ∨ r)
• 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
• 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (p ∧ q ) ∨(p∧r)
• Idempotentes
• Elemento Neutro
• 𝑝 ∨𝑝 ≡ 𝑝
• 𝑝 ∨𝐹 ≡ 𝑝
• 𝑝∧𝑝 ≡ 𝑝
• 𝑝 ∧𝑉 ≡ 𝑝
Equivalências lógicas (≡ ) - Leis

• de De Morgan • Negação
• ~ 𝑝 ∨ 𝑞 ≡ ~𝑞 ∧ ~𝑝 • p ∨ ~p ≡ V
• ~ 𝑝 ∧ 𝑞 ≡ ~𝑞 ∨ ~𝑝 • p ∧ ~p ≡ F
• da Condicional • Dominação
• 𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞 • p∨V≡V
• 𝑝 → 𝑞 ≡ ~(𝑝 ∧ ~𝑞) • p∧F≡F
• da Contraposição • Absorção
• 𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝 • 𝑝 ∧ 𝑝 ∨ 𝑞 ≡𝑝
• da Bicondicional • 𝑝 ∨ 𝑝 ∧ 𝑞 ≡𝑝
• 𝑝 → 𝑞 ≡ (𝑝 → 𝑞) ∧ (q → 𝑝) • Idempotentes
• 𝑝 → 𝑞 ≡ (~𝑝 ∨ 𝑞) ∧ (~q ∨ 𝑝) • 𝑝 ∧ 𝑝 ≡ 𝑝
• 𝑝 ∨ 𝑝 ≡ 𝑝
Demonstração – Lei de De Morgan: ~ 𝑝 ∨ 𝑞 ≡ ~𝑞 ∧ ~𝑝

Criar colunas que contenha cada elemento utilizado

p q 𝑝∨𝒒 ~(𝑝 ∨ 𝒒) ~q ~p ~𝑞 ∧ ~𝑝

V V V F F F F

V F V F V F F

F V V F F V F

F F F V V V V
Demonstração – Propriedade distributiva: (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Criar colunas que contenha cada elemento utilizado

𝑝 𝑞 𝑟 𝒑∨𝒒 (𝒑 ∨ 𝒒) ∨ 𝐫 q∨𝒓 p∨(q ∨ 𝒓)

V V V V V V V
V V F V V V V
V F V V V V V
V F F V V F V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F
Exercício
Sejam os seguintes argumentos:
• Ou Paulo fica em casa ou ele vai ao cinema.
• Se Paulo fica em casa, ele faz o jantar.
• Se Paulo faz o jantar, ele dorme tarde.
• Se Paulo dorme tarde, então não acorda cedo.
• Se Paulo não acorda cedo, ele chega atrasado no trabalho.

Sabendo que Paulo não chegou atrasado no trabalho então Paulo:

a) ficou em casa.
b) foi ao cinema.
c) fez o jantar.
d) dormiu tarde.
e) não acordou cedo.
Quantificadores – Todo, algum e nenhum

Observar as equivalências lógicas das proposições que utilizam quantificadores

Quantificador Todo Algum Nenhum

Afirmação Todo quadrado é um losango Algum professor é paraibano Nenhum triângulo é quadrado

Equivalência • Qualquer quadrado é um losango • Algum paraibano é professor • Todo triângulo não é quadrado
• Nenhum quadrado não é losango • Todo quadrado não é triângulo
• Nenhum quadrado é triângulo

Negação • Pelo menos um quadrado que não é losango • Nenhum professor é paraibano • Pelo menos um triângulo é quadrado
• Algum quadrado não é losango • Algum triângulo é quadrado
• Existe quadrado que não é losango • Existe triângulo que é quadrado

Erro comum de negação:

Nenhum quadrado é losango
Silogismo Categórico

• Todo quadrado é retângulo

• Todo retângulo é quadrilátero
• Logo,
todo quadrado é quadrilátero
Quadrilátero

Retângulo

Quadrado
 Silogismo Hipotético

• Se chover, Ana ficará em casa

• Se fica em casa, Ana está estudando
• Portanto,
se chove, Ana está estudando

• 𝑝→𝑞
• 𝑞→𝑟
• 𝑝→𝑟
Silogismo hipotético:
(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ≡ 𝑝 → 𝑟