Mantık Terimleri Sözlüğü
anayöneten
Bir karmaşık düzgün deyimin tümünü oluşturmaya yarayan yöneten deyim. ||Örn. (p=>q) =>r biçimindeki bir önermede => iminin ikinci geçişi önermenin tümünün anayönetenidir.