Denetleme anlamı nedir?
- 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.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları