BSTS / Mantık Terimleri Sözlüğü
türetilebilme anlamı İng. deducibility, derivability Alm. Ableitbarkeit Fr. dérivabilité
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.