ödev yöneticisi anlamı İng. ought-operator
p gibi bir önermeden Öp (p ödevdir) önermesini oluşturan doğrusal olmayan birli eklem. || Öp önermesinin (…)
Tamdurumunda doğru olması, p önermesinin (…) ın ödevsel almaşığı olan (...) gibi her tamdurumda doğru olması demektir. Ödev yöneticisinin ikillisi izin yöneticisidir: (…)