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 "?