türetilebilir ne demek?

1. Derivable.

türetilebilme

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üretilmiş Kelimeler (bis)