Queremos determinar si el siguiente argumento es válido: