Здесь один из методов формализованного представления систем (см.).
Символически отображение системы в параметрах бинарной логики (0,1) показано на рис. 1.Базовыми понятиями МЛ являются высказывание, предикат, логические функции (операции), кванторы, логический базис, логические законы (законы алгебры логики).
Под высказыванием в алгебре логики понимается повествовательное предложение (суждение), которое характеризуется определенным значением истинности.
В простейших случаях используются
Рис 1
два значения истинности: «истинно» -
«ложно», «да» - «нет», «1» - «О». Такая алгебра логики, в которой переменная может принимать только два значения истинности, называется бинарной алгеброй логики Буля (по имени создателя алгебры логики).
Функции бинарной алгебры логики приведены в табл. 1, где собраны формы записи и наименования функций, встречающиеся в различных литературных источниках. За основу при составлении табл. 1 взята таблица, приведенная в [13].
Предикат - выражение, грамматически имеющее форму высказывания, но содержащее переменные некоторых подмножеств, на которых они определены.
При замене переменных элементами соответствующего подмножества предикат обращается в высказывание. Обычно переменная стоит в предикативной части предложения, лежащего в основе высказывания (например, «быть Х-вым карандашом», где X может принимать значения «красным», «синим» и т.д.), но в принципе это не обязательно (и возможны предикаты «Х- река», где X - «Волга», «Днепр» и т.д.).
Частным случаем предиката является пропозиционная функция - функция одной или нескольких переменных, принимающих значения в множестве, состоящем из двух элементов: «1» - «О».
Применение переменных высказываний служит для выражения общности и позволяет формулировать законы алгебры логики для любых высказываний данного вида.
Из одного или нескольких высказываний, или предикатов, можно образовать новые высказывания, или предикаты. Простые высказывания объединяются в сложные без учета смысла этих высказываний (предикатов) на основе определенных логических правил (операций, функций).