Türetilebilme anlamı nedir?
- p önermesinin K önerme kümesinden türetilebilme'si, K kümesinin öğesi olan öncüllerden p sonucunun çıktığının bir türetimle gösterilebilmesi demektir. || p nin K dan türetilebildiği K|-p biçiminde dile getirilir. Krş. .
türetilebilme imi, türetilebilme önermesi.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları