Логическая символика

≡; ↔ — знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;

 — квантор общности; читается: «для всякого», «всем»;

 — квантор существования; читается «существует», «имеется по крайней мере один»;

L; N, — знаки для обозначения модального оператора необходимости; читаются: «необходимо, что»;

М — знак для обозначения модального оператора возможности; читается: «возможно, что».

Наряду с перечисленными, в многообразных системах логики используются и другие специфические символы, при этом каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается.

В качестве знаков препинания в искусственных языках логики используются, как и в языке математики, скобки.

Возьмем, для примера, некоторые содержательные высказывания и приведем рядом их запись на языке логики:

а) «Тот, кто ясно мыслит, ясно говорит» — (А → В); буква А обозначает высказывание «Человек ясно мыслит», В — высказывание «Человек ясно говорит», → — связка «если, то»;

б) «Он — образованный человек и неправда, что он не знаком с сонетами Шекспира» — А Λ ~ В; А — высказывание «Он образованный человек», В — «Он не знаком с сонетами Шекспира», Λ — связка «и», ~ — «не»;

в) «Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка» — (А → (В → С)); А — «Свет имеет волновую природу», В — «Свет представляется в виде потока частиц», С — «Допускается ошибка»;

г) «Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» — (А → (В V С)); А — «Вы были в Париже», В — «Вы видели Лувр», С — «Вы видели Эйфелеву башню»;

д) «Если какое-то вещество нагревать, то оно расплавится или испарится, но оно может также взорваться» — (А → (В V С V Д)); А — «Вещество нагревается», В — «Вещество расплавляется», С — «Вещество испаряется», Э — «Вещество взрывается».