özaltdeyim

özaltdeyim İng. proper sub-expression

Bir düzgün deyimin kendinden başka olan altdeyimi. || Her dolaysız altdeyim özaltdeyim olup, her özaltdeyim dolaysız altdeyim değildir. Örn. p önermesi, p=>(q=>p) nin özaltdeyimidir, ama aynı önermenin özalt deyimi olmakla birlikte; dolaysız altdeyimi değildir.


özaltdeyim, 10 karakter ile yazılır. Ayrıca, ö harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise, 'ö', 'z', 'a', 'l', 't', 'd', 'e', 'y', 'i', 'm', şeklindedir.
özaltdeyim kelimesinin tersten yazılışı miyedtlazö diziliminde gösterilir.