{"description":"раздел математической логики, в котором изучаются логические операции над высказываниями","events":[{"category":null,"date":{"calendar":null,"day":2,"day_url":"https://kogda.com/2-noyabrya","month":11,"text":"2 ноября 1815 года","year":1815,"year_url":"https://kogda.com/1815"},"id":160064,"kind":"birth","people":[{"name":"Джордж Буль","slug":"dzhordzh-bul","url":"https://kogda.com/p/dzhordzh-bul"}],"places":[],"slug":"rozhdenie-dzhordzh-bul","source":{"license":"CC BY-SA 4.0","name":"Русская Википедия","url":"https://ru.wikipedia.org/wiki/2_ноября"},"text":"английский математик, разработавший алгебру логики","title":"Джордж Буль","url":"https://kogda.com/e/rozhdenie-dzhordzh-bul","weight":94}],"facts_total":1,"id":4013,"kind":"other","kind_name":"Прочее","library":[],"license":"Тексты: Русская Википедия, CC BY-SA 4.0. Люди и места: Wikidata, CC0.","name":"Алгебра логики","people":[{"born_year":1815,"description":"английский математик, разработавший алгебру логики","died_year":1864,"name":"Джордж Буль","place":{"name":"Линкольн","slug":"linkoln","url":"https://kogda.com/place/linkoln"},"portrait":"https://kogda.com/img/p/dzhordzh-bul.jpg","slug":"dzhordzh-bul","url":"https://kogda.com/p/dzhordzh-bul","weight":94,"year":1815}],"qid":"Q173183","slug":"algebra-logiki","summary":{"license":"CC BY-SA 4.0","source_url":"https://ru.wikipedia.org/wiki/Алгебра_логики","text":"Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Обычно используется двоичная (бинарная) логика (предполагается, что высказывания могут быть только истинными или ложными), однако возможно расширение (например до троичной логики в языке Аймара, с использованием которой например задача поиска отличной монеты взвешиванием решается быстрее). Основоположником её является Дж. Буль, английский математик и логик, положивший в основу своего логического учения аналогию между алгеброй и логикой. Алгебра логики стала первой системой математической логики, в которой алгебраическая символика стала применяться к логическим выводам в операциях с понятиями, рассматриваемыми со стороны их объёмов. Буль ставил перед собой задачу решить логические задачи с помощью методов, применяемых в алгебре. Любое суждение он пытался выразить в виде уравнений с символами, в которых действуют логические законы, подобные законам алгебры. Впоследствии усовершенствованием алгебры логики занимались У. С. Джевонс, Э. Шрёдер, П. С. Порецкий, Ч. Пирс, Г. Фреге, разработавший теорию исчисления высказываний, Д. Гильберт, добившийся успехов в области применения метода формализации в операциях с логическими высказываниями. Внесли свой вклад Б. Рассел, придавший вместе с А. Уайтхедом, математической логике современный вид; И. И."},"title":"Алгебра логики","url":"https://kogda.com/ya/algebra-logiki","weight":76,"wikidata":"https://www.wikidata.org/wiki/Q173183"}