p gibi olmakta olana ilişkin bir önermeden, hepolmuşa ilişkin Hom p(p, hepolmuştur) önermesini oluşturan doğrusal olmayan birli eklem. H Hom p önermesinin şimdiki (?) tamdurumunda doğru olması, p önermesinin (?) olmuşlu almaşığı olan (?) gibi her tamdurumda doğru olması demektir, hepolmuş yöneticisinin ikillisi olmuş yöneticisidir: (?)
TDK Mantık Terimleri Sözlüğü