CONTRARIO

La relación de oposición entre las proposiciones A y E (véase Proposición), tal como ha sido expuesta en Oposi­ción, se llama relación de contrarie­dad, y dichas proposiciones son, por lo tanto, llamadas «contrarias». En la lógica clásica, la relación de contrariedad afirma que dos pro­posiciones contrarias no pueden ser al mismo tiempo verdaderas, pero pueden ser al mismo tiempo falsas. Así:

Si A es verdadera, E es falsa.
Si A es falsa, E puede ser falsa.
Si E es verdadera, A es falsa.
Si E es falsa, A puede ser falsa.

En la lógica clásica, la distinción de la