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.
TDK Mantık Terimleri Sözlüğü