Высказывание. 
Математическая логика

Под высказыванием понимают всякое повествовательное предложение, утверждающее что-либо о чем-либо, и при этом мы можем сказать, истинно оно или ложно в данных условиях места и времени.

Примеры высказываний.

• 1) Новгород стоит на Волхове.
• 2) Париж — столица Англии.
• 3) Карась не рыба.
• 4) Число 6 делится на 2 и на 3.
• 5) Если юноша окончил среднюю школу. то он получает аттестат зрелости.

Высказывания 1), 4), 5) истинны, а высказывания 2) и 3) ложны.

Высказывание, представляющие собой одно утверждение, принято называть простым или элементарным. Примеры элементарных высказываний могут служить высказывания 1) и 2).

Высказывания, которые получаются из элементарных с помощью грамматических связок «не». «и», «или», «если…, то…», «тогда и только тогда», принято называть сложными или составными.

В алгебре логики все высказывания рассматриваются только с точки зрения их логического значения, а от их житейского содержания отвлекаются. Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным.

Элементарные высказывания обозначают малыми буквами латинского алфавита: x, y, z, а, b, c истинное значение высказывания — буквой и или цифрой 1, а ложное значение — буквой л или цифрой 0. Например, если высказывание a, истинно, то будем писать a=1, а если a ложно, то a=0.