¿Qué es la contrariedad?

La contrariedad es una de las leyes que se establecen entre las

proposiciones categoremáticas que estudió Aristóteles en su lógica silogística. La lógica de
proposiciones se basa en el principio de no contradicción. La lógica de predicados, de la cual es
parte la silogísitica, incluye la contrariedad: es contradictorio que sean ambas verdaderas, pero
no es contradictorio que sean ambas falsas. Este “pero” tiene que explicarse: o bien,
efectivamente, no se reduce al principio de no contradicción, y la lógica de predicados cuenta
con otro principio, el de contrariedad, que rige determinadas sentencias; o bien se basa en él.
En el siguiente ensayo mantenemos la segunda opción. Para ello elaboramos una lógica
diagramática en la que se destaque el principio de no contradicción como su leitmotiv y, a
continuación, demostramos cómo se deduce la contrariedad aplicando esta lógica.