Алгебра логики.

Понятие высказывания.

Основными и неопределеннымпонятием логики являются высказывания. Под высказыванием обычно понимают некоторое повествовательное предложение, о котором можно сказать истинное оно или ложное в данных условиях места и времени и утверждающее что-либо. Высказывания обозначаются маленькими латинскими буквами (x,y,a,b…). Логически значимыми являются «истина» и «ложь» или 0 и 1.

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