türetiliş ne demek?
- Türetilmek eylemi ya da biçimi.
türetilebilir
- Derivable.
türetilebilme
- 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.
- Deducibility, derivability.
- Dérivabilité