BSTS / Mantık Terimleri Sözlüğü
başlangıç önermeleri anlamı İng. initial sentences
Çözümleyici çizelgesi kurulan önermeler kümesi; tutarlılığı denetlenecek önermeler kümesi. || Bir çıkarımın geçerliliği çözümleyici çizelge ile denetlendiğinde başlangıç önermeleri çıkarımın geçersiz kılıcı kümesinin öğeleridir,