Definimos incompatibilidad o contrariedad como la imposibilidad de que dos formas proposicionales sean simultáneamente verdaderas.
Otra forma de decirlo es señalando que las dos formas proposicionales no son simultáneamente verdaderas en ningún caso de sustitución.
La contrariedad no debe ser confundida con la contradictoriedad, que es otra relación lógica.
Por lo tanto, cuando dos formas proposicionales (o "formas de enunciado") son contrarias, habrá algún caso en que sean ambas falsas y alguno en que una sea verdadera y la otra falsa.
O sea, no pueden ser ambas verdaderas pero sí ambas falsas.
