türetilebilme önermesi anlamı İng. derivability sentence Alm. Ableitbarkeitsaussage Fr. énoncé de dérivabilité
p önermesinin K önerme kümesinden türetilebildiğini dile getiren dizimsel sözeden dil önermesi: K|-p.