türetilebilme ne demek?

1. P önermesinin K önerme kümesindentü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.
2. Deducibility, derivability.
3. Dérivabilité

türetilebilme imi

1. P önermesinin K gibi bir önerme kümesinden türetilebildiğini belirtmek amacıyla K ile p arasına konulan dizimsel sözeden dildeki 2-li yüklem imi: |-
2. Sign of derivability.
3. Signe de dérivabilité

türetilebilme katsayısı

1. Yığışımlı bir ölçekte yanılgıların (kalıba uymayan yandaş yanıtlar) toplam yanıt sayısına bölünmesiyle elde edilen ve ölçeğin tekboyutluluk düzeyini gösteren ölçüm.
2. Coefficient of reproducibility.

Türetilmiş Kelimeler (bis)