türetilebilme

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.

Salt toplam ölçek sayılına bakarak yanıtlayıcının tutum kalıbını kestirme olanağı veren ölçek özelliği, bk. tutum kalıbı.