Академический Документы
Профессиональный Документы
Культура Документы
momento.
Não é possível exibir esta imagem no momento.
Matemática Discreta
¤ Definição:
Ø Proposição é uma construção à qual se pode atribuir
uma relação de verdadeiro-falso.
Ø 9 é um número par;
Ø 3+4 >5;
Ø 7-1 = 5.
Ø Parabéns;
Ø x + 1 – 2;
Ø x + y = z.
¤ 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 𝑨 ⊆ 𝑩
𝒆
𝐵 ⊆ 𝐴
Ø 3 + 4 > 5
p ¬p
V F
F V
¤ Representação: p ᴧ q
¤ p ᴧ
q é:
Ø Verdadeira, apenas quando p e q são
simultaneamente verdadeiras.
Ø Falsa, em qualquer outro caso.
¤ 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.
p q pvq
V V V
V F V
F V V
F F F
¤ 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.
¤ 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.
p q
V V
V F
F V
F F
p q ¬q
V V F
V F V
F V F
F F V
p q ¬q p v ¬q
V V F V
V F V V
F V F F
F F V V
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
(𝒑 ∨ ¬𝒒)
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
¤ ¬𝑝 ∧ 𝑞 é o mesmo que ¬𝑝 ∧ 𝑞
¤ ¬𝑝 ∧ 𝑞 não é o mesmo que ¬ 𝑝 ∧ 𝑞
¤ 𝑝 ∧ 𝑞 ∨ 𝑟 é o mesmo que 𝑝 ∧ 𝑞 ∨ 𝑟
¤ 𝑝 ∧ 𝑞 ∨ 𝑟 não é o mesmo que 𝑝 ∧ 𝑞 ∨ 𝑟
¤ 𝑝 ∨ 𝑞 → 𝑟 é o mesmo que 𝑝 ∨ 𝑞 → 𝑟
¤ 𝑝 ∨ 𝑞 → 𝑟 não é o mesmo que 𝑝 ∨ 𝑞 → 𝑟