Простые и составные высказывания. Высказывательные переменные - Построение алгебры высказываний - Краткий теоретический справочник

Высказывание — это предложение, о котором имеет смысл утверждать, истинно оно или ложно. Таким образом, отличительной особенностью высказываний является возможность принимать одно из двух значений: истина — 1 или ложь — 0.

Высказывания могут быть простыми или составными.

Если в высказывании А нельзя выделить некоторую часть, которая сама является высказыванием и не совпадает по смыслу с высказыванием А, то А называется простым высказыванием. В противном случае высказывание А называется составным.

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