Professional Documents
Culture Documents
14 - Slide 3° Aula - Matemática Aplicada A Computação
14 - Slide 3° Aula - Matemática Aplicada A Computação
14 - Slide 3° Aula - Matemática Aplicada A Computação
Associativa: (𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
Leis da Equivalência: 𝑝 ↔ 𝑞 ≡ 𝑝 → 𝑞 ∧ (𝑞 → 𝑝)
Distributiva: 𝑝 ∨ 𝑞 ∧ 𝑟 ≡ 𝑝 ∨ 𝑞 ∧ (𝑝 ∨ 𝑟)
Equivalências Lógicas
Equivalências Lógicas
Exemplo 3: Prove através de equivalências lógicas, através de tabela verdade a
equivalência da seguinte expressão 𝐴 ∧ ~(𝐴 ∧ 𝐵) ≡ (𝐴 ∧ ~𝐵)
𝐴 ∧ ~ 𝐴 ∧ 𝐵 ≡ 𝐹 ∨ 𝐴 ∧ ~𝐵 𝐶𝑜𝑛𝑡𝑟𝑎𝑑𝑖çã𝑜
𝐴 ∧ ~(𝐴 ∧ 𝐵) ≡ (𝐴 ∧ ~𝐵) ∨ 𝐹
𝐴 ∧ ~(𝐴 ∧ 𝐵) ≡ (𝐴 ∧ ~𝐵)
Exemplo 3: Prove através de equivalências lógicas, através de tabela verdade a
equivalência da seguinte expressão 𝐴 ∧ ~(𝐴 ∧ 𝐵) ≡ (𝐴 ∧ ~𝐵)
p q 𝑝↔𝑞 p q 𝑝→𝑞 (𝑞 → 𝑝) 𝑝 → 𝑞 ∧ (𝑞 → 𝑝)
Quantificadores e Predicados
1
Composto ouro argônio, provavelmente, não é produzido no laboratório, muito
menos na natureza (Conclusão)
2 desde que é difícil fazer o argônio reagir com qualquer outra coisa e desde que
a) y + 2 é maior que 5.
b) x é um número ímpar.
d) O quadrado de y é 81.
Relação algébrica e Diagrama de Venn
Relação algébrica e Diagrama de Venn
Relação algébrica e Diagrama de Venn
Relação algébrica e Diagrama de Venn
Relação algébrica e Diagrama de Venn
Relação algébrica e Diagrama de Venn
Exercícios extras