Фигуры и модусы простого категорического силлогизма

Логика высказываний сводит сложные высказывания к простым (атомарным). Она рассматривает сложные высказывания как функции от простых, но простые при этом уже не расчленяются.
Высказывания, имеющую структуру, выраженную формулой «S есть P» называют ут¬вер¬дительными, а имеющие структуру «S не есть P» - отрицательными. Это деление по качеству.