Логические символы

Элементы теории множеств

Квантор - заменяет выражение "для любого", "для произвольного", "для какого бы ни было".

Квантор - заменяет выражение "существует", "найдется".

Запись (импликация) означает, что из справедливости высказывания A вытекает справедливость высказывания B. Если, кроме того, из справедливости высказывания B вытекает справедливость A, то записываем . Если , то высказывание B является необходимым и достаточным условием для того, чтобы выполнялось высказывание A.

Если предложения A и B справедливы одновременно, то записываем . Если же справедливо хотя бы одно из предложений A или B, то записываем .