Mantık Terimleri Sözlüğü
özaltdeyim
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.