Приведем символику логики.
S – символ для обозначения субъекта суждения (логического подлежащего).
P – символ для обозначения предиката суждения (логического сказуемого).
М – средний термин умозаключения, общее для исходных суждений понятие.
«Есть» – «не есть» (суть – не суть и пр.) – логическая связка между субъектом и предикатом суждения, выражаемая иногда с помощью тире между «S» и «Р».
R – символ любого отношения. А (а) – символ общеутвердительного суждения («Все школьники – учащиеся»).
Е (е) – символ общеотрицательного суждения («Ни один цветок этого букета не является ро