eng

tambağımsız önerme ne demek?

tambağımsız önerme

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.

TDK Mantık Terimleri Sözlüğü

TDK Mantık Terimleri Sözlüğü İçerisinde Arama