Una conceptuación adecuada para acoger este razonamiento debe considerar como universo del discurso el conjunto de libros, y las propiedades «ser sobre ordenadores» y «ser terriblemente aburrido» . Pero esta conceptuación no puede representarse en lógica de proposiciones. Busquemos otra conceptuación, en la que el universo del discurso está formado por las proposiciones «libro sobre ordenadores» y «tremendamente aburrido» , que representaremos con las variables proposicionales ord y tab. Las sentencias resultan ser:
Y para el segundo de los ejemplos del Apartado 2.4.1:
Las sentencias son formalmente correctas, y las inferencias deductivas también, aunque se ha perdido la esencia del razonamiento original, en el que de una afirmación general sobre objetos se deducen afirmaciones particulares. En el Apartado 4.2.1 veremos su formalización en lógica de predicados.