Приведем символику логики.
S — символ для обозначения субъекта суждения (логического подлежащего).
Р — символ для обозначения предиката суждения (логического сказуемого).
М — средний термин умозаключения, общее для исходных суждений понятие.
«Есть» — «не есть» (суть — не суть и пр.) — логическая связка между субъектом и предикатом
суждения, выражаемая иногда с помощью тире между «S» и «Р».
R — символ любого отношения.
А (а) — символ общеутвердительного суждения («Все школьники — учащиеся»).
Е (е) — символ общеотрицательного суждения («Ни один цветок этого букета не является
ромашкой»).
I(i) — символ частноутвердительного суждения («Некоторые люди миллионеры»).
О (о) — символ частноотрицательного суждения («Некоторые студенты не есть спортсмены»).
∀ — символ квантора общности, в языке выражается словом «для всякого», «для любого» и т.п.
∃ — символ квантора существования, в языке выражается словом «некоторые», «существуют
такие» и т.п.
& — символ, или знак, соединительного логического союза «и» (конъюнкция).
V — символ (знак) разделительного логического союза «или» (дизъюнкция).
=> — символ условного логического союза «если, то» (импликация).
<=> — символ логического союза тождества, эквивалентности, «тогда и только тогда, когда».
«Не» — отрицательная частица, может быть выражена и чертой над знаком или тильдой ~,
например: ~В или С.
Виды языков
Языки, включающие эмпирические правила значения, называются эмпирическими.
Ни язык логики, ни язык математики не требуют при принятии или отбрасывании своих
предложений обращения к непосредственному опыту и ощущению и не относятся к
эмпирическим.
Все языки можно разделить на естественные, искусственные и частично искусственные