İki -> çelişik önermenin aynı zamanda doğru olamadığı gibi, aynı zamanda yanlış da olamayacağı ilkesi.