Silvalucasfelipego Silvalucasfelipego Lógica Respondido Usar as Regras de inferência para validar o argumento p v (q ᴧ r), q → s, r → t, s ᴧ t p v r, ~p |--- r