Q804341 - IDECAN - 2014 - CNEN - Enfermeiro,

Analise as proposições:

x: [p → (q V r)] ↔ (p ∧~q∧~r)

y:(p→q)→(~q→~p)

Acerca das proposições x e y, é correto afirmar que

a)
x é contingente.
b)
y é contingente.
c)
x é uma tautologia.
d)
y é uma contradição.
e)
x é uma contradição.