olmuş yöneticisi anlamı İng. past-tense operator
p gibi olmakta olana ilişkin bir önermeden, olmuşa ilişkin Om p (p olmuştur) önermesini oluşturan doğrusal olmayan birli eklemi. || Om p önermesinin şimdiki (…)
Tam durumunda doğru olması, p önermesinin (…) olmuşlu almaşığı olan (…) gibi en az bir tamdurumda doğru olması demektir. Olmuş yöneticisinin ikillisi hepolmuş yöneticisidir: (…)