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.
TDK Mantık Terimleri Sözlüğü