Imagem de fundo

Qual a dedução da conclusão do seguinte termo de premissas...

Qual a dedução da conclusão do seguinte termo de premissas

  r ∧s →t

s → t ∧ u  segundo a regra do Dilema Destrutivo.

~ t V~(T ∧u)


A

~t ∧ r


B

~r ∨ s


C

~(r ∧ s)∨~s


D

~(t ∨u)