En la lógica aristotélica, se distingue entre juicios contradictorios y juicios contrarios.