Tal tipo de razonamiento tiene sólo dos modos correctos: el afirmativo ("modus ponendo ponens" -modo poniendo-) y el que niega ("modus tollens"-modo quitando-), para más precisiones al respecto véase silogismo.