Dos términos son contrarios si son mutuamente excluyentes pero no exhaustivos entre. Con respecto a las proposiciones contrarias, si una proposición es verdadera, la proposición contraria es falsa, pero si una es falsa, el valor de verdad de la otra es indeterminado.