Вы находитесь на странице: 1из 43

Não é possível exibir esta imagem no

momento.
Não é possível exibir esta imagem no momento.

Matemática Discreta

Lógica Proposicional – Conceitos Básicos

PRO F.  F I L I PE  CO RDEIRO


F ILIPE.RO LIM@ GMAIL.CO M
O que é lógica?
¤ É a arte de pensar corretamente, visto que a forma
mais complexa do pensamento é o raciocínio;

¤ A lógica estuda ou tem em vista a “correção do


raciocínio”, ou ainda, “ordem da razão”;

¤ A lógica ensina a colocar “Ordem no Pensamento”.

Não é possível exibir esta imagem no momento.


O que é lógica?
¤ Exemplo:
Ø Todo mamífero é um animal.
Ø O cavalo é mamífero.

Ø Portanto, todo cavalo é um animal.

Não é possível exibir esta imagem no momento.


Por que estudar lógica?
¤ Inteligência Artificial
¤ Especificação de Sistemas
¤ Linguagens de Programação
¤ Design de Circuitos Digitais

Não é possível exibir esta imagem no momento.


Lógica Proposicional
¤ Também chamada de cálculo proposicional
¤ Área da matemática que lida com proposições.

Não é possível exibir esta imagem no momento.


O que é proposição?

¤ Definição:
Ø Proposição é uma construção à qual se pode atribuir
uma relação de verdadeiro-falso.

Não é possível exibir esta imagem no momento.


Proposições
¤ Toda proposição é verdadeira ou falsa.
¤ Para uma dada proposição p, denota-se por V(p) o
valor-verdade de p.

Não é possível exibir esta imagem no momento.


Variável Proposicional
¤ Variável que representa proposição
Ø p, q, r, s, …

Não é possível exibir esta imagem no momento.


Valor Verdade
¤ V, caso a proposição seja verdadeira
¤ F, caso a proposição seja falsa.

Não é possível exibir esta imagem no momento.


Proposições
¤ Exemplo de proposições
Ø A terra é um planeta;
Ø Brasil é um país;

Ø Buenos Aires é a capital do Brasil;

Ø A lua é uma estrela;

Ø 9 é um número par;

Ø 3+4 >5;

Ø 7-1 = 5.

Não é possível exibir esta imagem no momento.


Proposições
¤ Não são exemplos de proposição
Ø Vá tomar banho;
Ø Que horas são?;

Ø Parabéns;

Ø Leia isto cuidadosamente;

Ø x + 1 – 2;

Ø x + y = z.

Não é possível exibir esta imagem no momento.


Proposições
¤ E se ninguém souber?
Ø Há vida fora da terra;
Ø No dia 20 de janeiro de 2020 vai chover;

Ø O filme Batman versus Superman é bom;

Não é possível exibir esta imagem no momento.


Exercício
¤ Quais são proposições?
Ø Se você disser que isso não é proposição você errou.
Ø “A frase dentro dessas aspas é uma mentira”

Ø Esta sentença é falsa.

Ø Ele gosta muito de matemática discreta.

Ø Parece que o jogo virou, não é mesmo?;

Ø Há algo de errado que não está certo com o trânsito


de recife.

Não é possível exibir esta imagem no momento.


Exercício (Patrocinado pelo League of
Legends)
¤ Diga quais sentenças são proposições:
Ø A) Ana passou a noite jogando League of Legends
Ø B) Qual o seu personagem no League of Legends?
Ø C) Pare de jogar League of Legends!
Ø D) Que jogo é esse?
Ø F) Num ninho de mafagafos há seis mafagafinhos
jogadores de League of Legends.
Ø E) Se alguém pensar que não pensou então algum
pensamento foi pensado.
Ø G) X + 3 = 5, se X = 2.

Não é possível exibir esta imagem no momento.


Conectivos/ Operadores Lógicos
¤ Utilizado para compor proposições mais complexas

¤ Exemplos
Ø Windows é um sistema operacional e Python é uma
linguagem de programação
Ø Vou comprar um PC ou um MAC
Ø Se choverem canivetes, então todos os alunos estarão
aprovados em matemática discreta.
Ø Linux não é um software livre
Ø A = B se e somente se 𝑨 ⊆ 𝑩  𝒆  𝐵 ⊆ 𝐴

Não é possível exibir esta imagem no momento.


Negação
¤ Considere as seguintes proposições:
Ø Brasil é um país
Ø Linux é um software livre

Ø 3 + 4 > 5

¤ A negação dessas proposições é como segue:


Ø Brasil não é um país
Ø Linux não é um software livre

Ø Não é fato que 3 + 4 > 5

Não é possível exibir esta imagem no momento.


Negação
¤ Se p denota uma proposição, então a negação de
p é denotada por ¬p ou ~p.

¤ Sendo lida como “não p”

¤ Sendo interpretada como:


Ø Se p é verdadeira, então ¬p é falsa
Ø Se p é falsa, então ¬p é verdadeira

Não é possível exibir esta imagem no momento.


Negação
¤ Tabela Verdade: negação

p ¬p
V F
F V

Não é possível exibir esta imagem no momento.


Conjunção
¤ Reflete uma noção de simultaneidade para ser
verdadeira

¤ Representação: p ᴧ q

¤ p ᴧ  q é:
Ø Verdadeira, apenas quando p e q são
simultaneamente verdadeiras.
Ø Falsa, em qualquer outro caso.

Não é possível exibir esta imagem no momento.


Tabela Verdade - Conjunção
p q pᴧq
V V V
V F F
F V F
F F F

Não é possível exibir esta imagem no momento.


Conjunção
¤ Exemplos
Ø Diga se a proposição composta é verdadeira ou falsa
n Windows é um sistema operacional, e Python é uma
linguagem de programação.
n Windows é um sistema operacional, e Python é uma planilha
eletrônica.
n Windows é um editor de textos, e Python é uma linguagem
de programação.
n Windows é um editor de textos, e Python é uma planilha
eletrônica.

Não é possível exibir esta imagem no momento.


Disjunção
¤ Reflete a noção de que pelo menos uma
(eventualmente as duas) das proposições componentes
deve ocorrer para que a resultante seja verdadeira.

¤ Representação: p v q

¤ p v q é:
Ø Verdadeira, quando pelo menos uma das proposições é
verdadeira.
Ø Falsa, quando simultaneamente p e q são falsas.

Não é possível exibir esta imagem no momento.


Tabela Verdade - Disjunção

p q pvq
V V V
V F V
F V V
F F F

Não é possível exibir esta imagem no momento.


Disjunção
¤ Exemplos
Ø Diga se as proposições abaixo são verdadeiras ou
falsas:
n Windows é um sistema operacional ou Python é uma
linguagem de programação.
n Windows é um sistema operacional ou Python é uma
planilha eletrônica.
n Windows é um editor de textos ou Python é uma linguagem
de programação.
n Windows é um editor de textos ou Python é uma planilha
eletrônica.

Não é possível exibir esta imagem no momento.


Condição
¤ Reflete a condição de que para uma conclusão ser
verdadeira a premissa também tem que ser verdadeira.

¤ Representação: p→q
¤ Lê “se p então q” ou “p implica q”

¤ p → q é:
Ø Falsa, quando p é verdadeira e q é falsa.
Ø Verdadeira, caso contrário
¤ p: antecedente, premissa ou hipótese
¤ q: consequente ou conclusão.

Não é possível exibir esta imagem no momento.


Tabela Verdade - Condição
p q p→q
V V V
V F F
F V V
F F V

Não é possível exibir esta imagem no momento.


Condição
¤ Exemplos
Ø Diga quais das proposições abaixo são verdadeiras ou
falsas:
n Se Windows é um sistema operacional, então Pascal é uma
linguagem de programação.
n Se Windows é um sistema operacional, então Pascal é uma
planilha eletrônica.
n Se Windows é um editor de textos, então Pascal é uma
linguagem de programação.
n Se Windows é um editor de textos, então Pascal é uma
planilha eletrônica.

Não é possível exibir esta imagem no momento.


Condição
¤ Exemplos
Ø Diga quais das proposições abaixo são verdadeiras ou
falsas:
n Se você tirar nota 10 no exame final, então terá conceito A.
n Se hoje é segunda feira, então 2 + 3 = 5.
n Se hoje é segunda feira, então 2 + 3 = 6.

Não é possível exibir esta imagem no momento.


Bicondição
¤ Reflete a condição nos dois sentidos, ou seja, considera
a simultaneidade.

¤ Representação: p ↔ q
¤ Lê-se : “p se e somente se q”

¤ p ↔ q é:
Ø Verdadeira, quando p e q são ambas verdadeiras ou
ambas falsas.
Ø Falsa, quando as proposições p e q possuem valor-
verdade distintos.

Não é possível exibir esta imagem no momento.


Tabela Verdade - Bicondição
p q p↔q
V V V
V F F
F V F
F F V

Não é possível exibir esta imagem no momento.


Bicondição
¤ Exemplos
Ø Diga se as proposições abaixo são verdadeiras ou
falsas:
n Windows é um sistema operacional se e somente se Pascal
é uma linguagem de programação.
n Windows é um sistema operacional se e somente se Pascal
é uma planilha eletrônica.
n Windows é um editor de textos se e somente se Pascal é
uma linguagem de programação.
n Windows é um editor de textos se e somente se Pascal é
uma planilha eletrônica.

Não é possível exibir esta imagem no momento.


Operadores Lógicos: Resumo

p q ¬𝒑 𝒑∧𝒒 𝒑∨𝒒 𝒑→𝒒 𝒑↔𝒒


V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V

Não é possível exibir esta imagem no momento.


Tabela Verdade
¤ Determinar a tabela verdade para p v ¬ q

p q
V V
V F
F V
F F

Não é possível exibir esta imagem no momento.


Tabela Verdade
¤ Determinar a tabela verdade para p v ¬ q

p q ¬q
V V F
V F V
F V F
F F V

Não é possível exibir esta imagem no momento.


Tabela Verdade
¤ Determinar a tabela verdade para p v ¬ q

p q ¬q p v ¬q
V V F V
V F V V
F V F F
F F V V

Não é possível exibir esta imagem no momento.


Inversa, Oposta e Contrapositiva
¤ 𝑝: “o animal é um morcego”
¤ 𝑞: “o animal é um mamífero”
¤ “Se o animal é um morcego, então ele é um
mamífero”
¤ 𝑝→𝑞

Não é possível exibir esta imagem no momento.


Inversa
¤ ¬𝑝 → ¬𝑞
Ø “Se o animal não é um morcego, então ele não é um
mamífero”
¤ Não é equivalente logicamente à proposição
original
Ø 𝑝 → 𝑞 e ¬𝑝 → ¬𝑞 não são logicamente equivalentes
p q ¬𝒑 ¬𝒒 𝒑→𝒒 ¬𝒑 → ¬𝒒
V V F F V V
V F F V F V
F V V F V F
F F V V V V
Não é possível exibir esta imagem no momento.
Oposta
¤ 𝑞→𝑝
Ø “Se o animal é um mamífero, então ele é um morcego”
¤ Não é logicamente equivalente à oposta
Ø 𝑞 → 𝑝 e 𝑝 → 𝑞 não são logicamente equivalentes

p q 𝒒→𝒑 𝒑→𝒒
V V V V
V F V F
F V F V
F F V V
Não é possível exibir esta imagem no momento.
Contrapositiva
¤ Contrapositiva: ¬𝑞 → ¬𝑝
Ø “Se o animal não é um mamífero, então ele não é um
morcego”
¤ Logicamente equivalente à proposição original
Ø ¬𝑞 → ¬𝑝 e 𝑝 → 𝑞 são logicamente equivalentes
p q ¬𝒑 ¬𝒒 ¬𝒒 → ¬𝒑 𝐩→𝒒
V V F F V V
V F F V F F
F V V F V V
F F V V V V
Não é possível exibir esta imagem no momento.
Tabela Verdade de Proposição Composta

¤ Ex: construa a tabela verdade da proposição


composta 𝑝 ∨ ¬𝑞 → 𝑝 ∧ 𝑞

(𝒑 ∨ ¬𝒒)
p q ¬𝒒 𝒑 ∨ ¬𝒒 𝒑∧𝒒
→ (𝒑 ∧ 𝒒)
V V F V V V
V F V V F F
F V F F F V
F F V V F F

Não é possível exibir esta imagem no momento.


Precedência de Conectivos
1. Conectivos entre parênteses, dos mais internos
para os mais externos;
2. Negação (¬)
3. Conjunção (ᴧ) e disjunção (v)
4. Condição (→)
5. Bicondição (↔)

Não é possível exibir esta imagem no momento.


Precedência de Operadores Lógicos

¤ ¬𝑝 ∧ 𝑞 é o mesmo que ¬𝑝 ∧ 𝑞
¤ ¬𝑝 ∧ 𝑞 não é o mesmo que ¬ 𝑝 ∧ 𝑞
¤ 𝑝 ∧ 𝑞 ∨ 𝑟 é o mesmo que 𝑝 ∧ 𝑞 ∨ 𝑟
¤ 𝑝 ∧ 𝑞 ∨ 𝑟 não é o mesmo que 𝑝 ∧ 𝑞 ∨ 𝑟
¤ 𝑝 ∨ 𝑞 → 𝑟 é o mesmo que 𝑝 ∨ 𝑞 → 𝑟
¤ 𝑝 ∨ 𝑞 → 𝑟 não é o mesmo que 𝑝 ∨ 𝑞 → 𝑟

Não é possível exibir esta imagem no momento.


Tabela Verdade
¤ Determinar a Tabela Verdade para
Ø [(p ᴧ q) → r ] ↔ ¬ q
Ø p v (q ᴧ r) ↔ (p v q) ᴧ (p ᴧ r)

Não é possível exibir esta imagem no momento.

Вам также может понравиться