СПИСОК СИМВОЛОВ

а ^b; а * b; а &b; “а и b” - конъюнкция.

a b; “а или b” - нестрогая дизъюнкция.

a ύ b; “или а, или b” - строгая дизъюнкция.

а → b; а b; “а имплицирует b” (“если а, то b”) - имплика­ция.

a ≡ b; а b; a b, a ~ b; “а эквивалентно b” (“а, если и только если b”) - эквиваленция.

ā; ┐а; ~ а ', “не-а” - отрицание а.

(x); “для всех х” - квантор общности.

(х), “существует х, такое что” - квантор существования.

a, b, c,...,p, q ...- переменные для высказываний.