Si hay dos proposiciones unidas por el condicional (p -> 9 q) y se niega el consecuente ¬q), entonces se puede concluir con _________ y el argumento recibe el nombre de ________: