Sonuç öncüllerden zorunlu olarak çıkıyorsa geçerlilikten (validity) söz edebiliriz. Bir akıl yürütmede sonuç öncüllerden zorunlu olarak çıkmıyorsa akıl yürütme geçerli (valid) değildir (invalid).