Para dar tratamiento lógico al juicio que plantea Gortari, éste último recurre a una clasificación de juicios a partir de una notación simbólica que es la siguiente: ‘x’ es un término, su negación ‘"¬x"’ es un término; ‘"y"’ es un término como también la negación ‘"¬y"’ es un término; la relación de "x" puede estar en "y" o "¬y", o viceversa y puede estar relacionada con "x" o "¬x"; una relación está formulada como ("x", "y"), ("x", "¬y"), etc, los cuales son: