Prova de Logica e Matemática Discreta
Por: mattz g • 25/8/2021 • Trabalho acadêmico • 870 Palavras (4 Páginas) • 175 Visualizações
1. Sejam as proposições p: Está chovendo e q: Está ventando. Definir o valor lógico
das proposições a seguir sabendo que V(p) = F e V(q) = V. Utilizar valor lógico (V
ou F) para as respostas. (1,0 ponto)
a) ~p ^ ~q = V ^ F = F
b) q ↔ ~p = V ↔ V = V
c) ~p → ~q ^ p = V → F ^ F = F → V = V
d) p v ~q ^ ~q = F v F ^ F = F ^ F = F
e) ~q ↔ p = F ↔ F = V
2. Nas proposições abaixo, verifique através da tabela-verdade se é uma tautologia
ou uma contradição ou uma contingência. (3,0 pontos)
a) ~p → (q → ~p)
p q ~p q → ~p ~p → (q → ~p)
V V F F V
V F F V V
F V V V V
F F V V V
Essa tabela é uma tautologia
b) p ∨ ~q → (p → ~q)
p q ~q p ∨ ~q p → ~q p ∨ ~q → (p → ~q)
V V F V F F
V F V V V V
F V F F V V
F F V V V V
Essa tabela é uma contingência
2
c) (a ∧ b ∧ c ∧ d) ∨ ~(a ∧ b ∧ c ∧ d ∧ e)
a b c d e a ∧ b (a ∧ b ∧ c) (a ∧ b ∧ c ∧
d)
(a ∧ b ∧ c ∧ d
∧ e)
~(a ∧ b ∧ c ∧ d ∧
e)
(a ∧ b ∧ c ∧ d) ∨ ~(a ∧ b
∧ c ∧ d ∧ e)
V V V V V V V V V F V
V V V V F V V V F V V
V V V F V V V F F V V
V V V F F V V F F V V
V V F V V V F F F V V
V V F V F V F F F V V
V V F F V V F F F V V
V V F F F V F F F V V
V F V V V F F F F V V
V F V V F F F F F V V
V F V F V F F F F V V
V F V F F F F F F V V
V F F V V F F F F V V
V F F V F F F F F V V
V F F F V F F F F V V
V F F F F F F F F V V
F V V V V F F F F V V
F V V V F F F F F V V
F V V F V F F F F V V
F V V F F F F F F V V
F V F V V F F F F V V
F V F V F F F F F V V
F V F F V F F F F V V
F V F F F F F F F V V
F F V V V F F F F V V
F F V V F F F F F V V
F F V F V F F F F V V
F F V F F F F F F V V
F F F V V F F F F V V
F F F V F F F F F V V
F F F F V F F F F V V
F F F F F F F F F V V
Essa
...