Considerando-se as regras da álgebra proposicional, qual das proposições citadas nas alternativas abaixo pode ser deduzida das seguintes proposições: “ ~ X → Z " e “ X -> ~ Y "?
Provas
Questão presente nas seguintes provas
