Qual a negação da seguinte proposição composta: “u -> (~r v s)”?
~u v (r /\ ~s)
u v (r /\ ~s)
~u /\ (r /\ ~s)
~u /\ ~(~r v s)
u /\ (r /\ ~s)