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

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