Verilen herhangi bir tutarsız önerme kümesinin gerçekten tutarsız olduğunu söz konusu deyimlerin yorumundan bağımsız salt dizimsel yapılarına dayanarak sonlu sayıda adımla gösterilmesi İşiemi. || Geçerli bir çıkarımın geçerli olduğunu göstermek için çıkarımın geçersiz kılıcı kümesinin tutarsızlığını saptamak yeter. Anl. sınama.

Bir filmin, yürürlükteki yasalara aykırı yönü ya da sakıncaları olup olmadığını anlamak amacıyla, kamuya sunulmadan önce, ilgililerce yapılan inceleme.

Sayışımların denetlenmesi, işlemlerin yasa, tüzük ve yönetmeliklerine sayışım yöntemlerine uygun olup olmadığının incelenmesi.

Bir oyunun yürürlükteki yasalara ve geleneklere aykırı olup olmadığını anlamak için yapılan inceleme. bk. sıkıdenetim.

Bir oyunun yürürlükteki yasa ve geleneklere aykırı olup olmadığını anlamak için yapılan inceleme.