BSTS / Mantık Terimleri Sözlüğü
özaltdeyim anlamı İng. proper sub-expression Alm. Eigenteilausdruck Fr. sous-expression propre
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.