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

I: Cимвол, посредством которого в силлогистике обозначаются частноутвердительные высказывания. Обозначение происходит от второй гласной слова affirmo – утверждаю. В разных системах формальной нотации высказывания типа I обозначаются: SiP, ISP, SIP .