Специальная математика. Соловьев А.Е. - 38 стр.

     S  P = 0 - интерпретация на множествах
    2) Общеотрицательные Esp (Exy):
       Не одно S не есть P.
    Аналог на языке предикатов x ( S(x)  ¬P(x) )

                                     S              P

    SP = 0 - интерпретация на множествах

    3) Частично-утвердительные Isp (Ixy) :
       Некоторые S есть P.
    Аналог на языке предикатов x ( S(x) & P(x) )

     S   P         S   P             S   P              S   P

      S  P  0 - интерпретация на множествах

    4) : Частное отрицание Osp (Oxy)
       Некоторые S не есть P.
    Аналог на языке предикатов x ( S(x)  ¬P(x) )

      S  P  0 - интерпретация на множествах

    Соотношения высказываний можно представить в виде логического квадрата.
    Axy   противоречивые   Exy




с                                с
л                                л
е                                е
д                                д
с                              с
                                 т
т
в                                в
и                                и
е                                е
    Ixy антипротиворечивые Oxy

Модус - структура умозаключения, которая определяет его истинность.

    Модусы непосредственного заключения
                                                                Противоположные
    Всего таких модусов 32. Вот некоторые из них.
    Axy  Axy истинно         Axy  Ayx     ложно
    Axy  Exy ложно
    Axy  Ixy истинно

                                             — 38 —