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

АЛГЕБРА ЛОГИКИ, система алгебраических методов решения логических задач, а также совокупность задач, решаемых такими методами. Алгебра логики в узком смысле слова — алгебраическое (табличное, матричное) построение классической логики высказываний, в котором рассматриваются логические операции над высказываниями, каждое из которых имеет одно из двух значений истинности: «истина» (сокращенно «и» или 1) и «ложь» («л» или 0). Элементами алгебры логики служат переменные, принимающие одно из этих двух значений, а также константы 1 и 0. Предмет алгебры логики составляет совокупность свойств логических операций в этой двузначной алгебре...

АЛГЕБРА ЛОГИКИ – одна из основных частей математической логики, основанная на применении алгебраических методов к логике. Возникнув в середине 19 века в трудах Буля и развиваясь затем в работах Джевонса, Шредера, Пирса, Порецкого и других, алгебра логики имела своим предметом классы (как объемы понятий), соотношения между классиками по объему и связанные с этим операции над ними. Позднее, в связи с появлением в 70-х годах 19 века множеств теории, поглотившей часть этих задач, предмет алгебры логики значительно изменился.

АЛГЕБРА ЛОГИКИ - один из основных разделов математической логики, основанный на алгебраическом способе представления и решения логических проблем. Современная символическая логика, начало которой было положено исследованиями Г. Лейбница и особенно Дж. Буля, развивалась ими и их непосредственными последователями (У. Джевонс, А. Венн, Э. Шредер, П.С. Порецкий) в форме алгебраических построений. Именно в исследованиях этих ученых впервые был использован термин «А.л.» Однако после работ Г. Фреге логические теории начали строиться в форме исчислений, а А.л.

АЛГЕБРА ЛОГИКИ — раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов — классов, высказываний и др. Исторически алгебра логики возникла как алгебра классов и как алгебра высказываний (Буль). Алгебра логики рассматривает высказывания только со стороны значения их истинности, причем равносильными считаются высказывания, имеющие одно и то же значение истинности. Алгебра логики использует буквенную символику.