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