Tambağımsız Önerme anlamı nedir?
- p önermesinin K önerme kümesinden tambağımsız olması, K nın her gerçekleşebilir değerlemesinde p nin doğru değerini de yanlış değerini de alabilmesi demektir. || p nin, K dan tambağımsızlığının gerekli-yeterli koşulu, K U {p} nın öğelerinin tambağımsız olmasıdır.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları