La lógica no permite demostrar una proposición universal afirmativa (como la menor en cEsArE) si se parte de un conjunto de premisas en las que, al menos una, sea negativa.