Высказывание — это предложение, о котором имеет смысл утверждать, истинно оно или ложно. Таким образом, отличительной особенностью высказываний является возможность принимать одно из двух значений: истина — 1 или ложь — 0.
Высказывания могут быть простыми или составными.
Если в высказывании A нельзя выделить некоторую часть, которая сама является высказыванием и не совпадает по смыслу с высказыванием A, то А называется простым высказыванием. В противном случае высказывание A называется составным.
Простые высказывания (а в некоторых случаях и составные) будем обозначать прописными буквами латинского алфавита, а факт истинности или ложности высказывания: А = 1 или A = 0. Буквы, обозначающие переменные высказывания, будем называть высказывательными переменными
