Önermelerin tutarlı, eşdeğer veya geçerli; çıkarımların ise geçerli olup olmadığını araştırma, belirleme işlemine denetleme denir. Sembolik mantıkta bu denetleme işlemi doğruluk tablosu/ çizelgesi veya çözümleyici çizelge aracılığıyla gerçekleştirilir.