türetilebilme imi anlamı İng. sign of derivability Alm. Ableitbarkeitszeichen Fr.signe de dérivabilité
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: |-