Üretilen Çözümleyici Küme anlamı nedir?
- Belli bir mantık dizgesinde, K gibi bir önerme kümesince üretilen çözümleyici küme, bu mantık dizgesine ilişkin K yı kapsayan en küçük bir çözümleyici küme demektir. || Çözümleyici çizelgede bir açık yolu oluşturan önermelerin kümesi, başlangıç önermelerince üretilen bir çözümleyici kümedir.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları