Birden fazla önermenin bir araya gelmesi sonucu oluşan bütünlüğün tutarlılığı veya tutarsızlığından söz edilir. Eğer bu önermeler arası ilişki bir bütünlük oluşturuyorsa, tutarlı; oluşturmuyorsa tutarsız denir. Eğer oluşan ilişkinin tutarlılığı her durum ve her zaman için gerçekleşirse, bu duruma da geçerlilik denir.