Высказывание - это утверждение об объектах, имеющее однозначный, точно определенный смысл. Некоторые высказывания являются истинными, некоторые - ложными. Истинность либо ложность высказывания не всегда легко установить, это нужно доказать. К тому же, они могут зависеть от времени и места. Часто высказывания говорят не о единичном факте, а о целом множестве утверждений.
Выражения, с помощью которых записываются высказывания на формальном языке называются логическими формулами. Более сложные формулы строятся из простых. Для образования новых формул из имеющихся используются логические связки. Логические связки применяются к высказываниям и в результате дают высказывание. Рассмотрим общепринятые логические связки:
Задачи для самоcтоятельного решения