Contraditórias: quando as duas proposições necessariamente apresentam valores lógicos contrários.

Na lógica, duas proposições são consideradas contraditórias quando seus valores lógicos são necessariamente contrários. Isso significa que se uma proposição é verdadeira, a outra é necessariamente falsa, e vice-versa. Em outras palavras, não há nenhuma situação em que ambas as proposições possam ser verdadeiras ao mesmo tempo.