Bir akıl yürütmedeki önermeler, içeriğindeki terimlerin anlamı değişmediği sürece doğru ise doğru, yanlış ise yanlış kalmalıdır. Önermenin temsil ettiği doğruluk değeri sabit kalmazsa geçerli bir çıkarım yapamayız.