Словарь по логике

O: Символ, посредством которого в силлогистике обозначаются частноотрицательные высказывания. Обозначение происходит от второй гласной слова nego – утверждаю. В разных системах формальной нотации высказывания типа O обозначаются: SoP, OSP, SOP .