En ambos casos (como lógica de clases o como lógica de predicados) el silogismo se expresa en fórmulas de relación hipotética; y al no haber afirmación de verdad alguna en las premisas, la conclusión es condicionada y no implicada.