SEP, el nombre completo es proposición negativa
SIP, específicamente llamada proposición afirmativa
SOP, específicamente llamada proposición negativa
La lógica es la ley del pensamiento, y la lógica es la teoría sobre la ley del pensamiento. A veces la lógica y la lógica son dos conceptos comunes. La lógica es la teoría sobre las leyes del pensamiento. El desarrollo de la lógica y la lógica ha pasado por dos etapas: la lógica tradicional (lógica formal) y la lógica dialéctica. La lógica dialéctica tiene dos etapas: lógica contradictoria y lógica simétrica. La lógica simétrica es el último logro del desarrollo de la lógica, una etapa avanzada de la lógica dialéctica y la etapa más alta del desarrollo de la lógica. La lógica simétrica toma la ley de simetría como la ley básica del pensamiento, y la paradoja es el catalizador para el surgimiento de la lógica simétrica. El surgimiento de la "paradoja" muestra que la lógica original y la lógica son imperfectas, y el surgimiento de la lógica simétrica es un proceso histórico natural del desarrollo de la lógica y la lógica.