Перечень основных символов классической формальной логики

• a  b, a  b, a & b, “a и b” — конъюнкция;

• a  b, “a или b” — нестрогая дизъюнкция;

• a  b, “a или b” — строгая дизъюнкция;

• a  b, “a имплицирует b” (“если a, то b”) — материальная импликация;

• a  b, “a имплицирует b” (“если a, то b”) — релевантная импликация;

• a  b, a  b, a ~ b, “a эквивалентно b” (“a, если и только если b”) —эквиваленция;

• a,  a, ~ a, “не-a” — отрицание a;

• ( x), “для всех x” — квантор общности;

• ( x), “существует x, такое, что” — квантор существования;

• a, b, c, …, p, q… — переменные для высказываний;

• X  U — класс X включается в класс U;

• х  U — элемент х принадлежит классу U;

• │= — отношение логического следования;

• ║= — отношение правдоподобного следования.

48