ödev yöneticisi
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: (…)
BSTS / Mantık Terimleri Sözlüğü 1976
Bulmaca Yardımcısı'nı denediniz mi?
