türetilebilme imi
türetilebilme imi İng. sign of derivability
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: |-
türetilebilme imi için benzer kelimeler
türetilebilme imi, 17 karakter ile yazılır. Ayrıca,
t harfi ile başlar, i harfi ile biter. Tüm karakter dağılımı ise,
't', 'ü', 'r', 'e', 't', 'i', 'l', 'e', 'b', 'i', 'l', 'm', 'e', ' ', 'i', 'm', 'i', şeklindedir.
türetilebilme imi kelimesinin tersten yazılışı imi emlibeliterüt diziliminde gösterilir.