hepolmuş yöneticisi anlamı İng. continuous past-tense operator
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: (…)