AD2 FEIII
342 palavras
2 páginas
24/02/2015Curso: Matemática
Polo: Resende
AD1 Matemática Discreta – Questão 2
Fazendo a simbolização do enunciado ficaria conforme abaixo:
Eu não dirijo quando tomo bebida alcoólica e bebo acima do permitido. k: eu dirijo
w:
eu tomo bebida alcoólica
y:
eu bebo acima do permitido
(w^y)→¬k
Sua negação estrita seria:
¬ [( w ^ y ) → ¬ k ]
Que é equivalente a:
( w ^ y ) ^ ¬¬ k
(w^y)^k
w
y
k
w^y
(w^y)→¬k
¬w ¬y
¬k
(w^y)^k
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
V
F
F
V
F
V
F
V
V
F
V
F
V
F
F
F
V
V
F
F
F
F
V
V
F
V
F
V
V
F
F
V
F
F
V
F
V
F
F
F
F
V
F
V
F
F
V
F
F
F
F
F
V
F
F
F
F
a) Eu tomo bebida alcoólica, mas não é o caso que se eu bebo acima do permitido, eu não dirijo.
A simbolização da resposta do primeiro aluno seria: w ^ [ ¬ ( y → ¬ k )]
Que é equivalente a: w ^ ( y ^ ¬¬ k ) w^(y^k) w
y
k
(y^k)
w^(y^k)
V
V
V
V
V
V
V
F
F
F
V
F
V
F
F
V
F
F
F
F
F
V
V
V
F
F
V
F
F
F
F
F
V
F
F
F
F
F
F
F
O primeiro aluno está certo.
a) Não é o caso que se eu tomo bebida alcoólica, eu não bebo acima do permitido; e, além disso, eu dirijo.
A simbolização da resposta do segundo aluno seria:
¬(w→¬y)^k
Que é equivalente a:
( w ^ ¬¬ y ) ^ k
(w^y)^k
w
y
k
(w^y)
(w^y)^k
V
V
V
V
V
V
V
F
V
F
V
F
V
F
F
V
F
F
F
F
F
V
V
F
F
F
V
F
F
F
F
F
V
F
F
F
F
F
F
F
O segundo aluno está certo.