válido cuando su antecedente es falso).