Презентация на тему Понятие математической логики

логика — наука о законах и формах мышления.
Математическая логика

изучает логические связи и отношения, лежащие в основе дедуктивного вывода.

Аристотель заложил основы формальной логики. Он исследовал терминологию логики,

разобрал теорию умозаключений и доказательств, вывел понятие силлогизма.
В 16 веке в алгебре была создана буквенная символика. Она получила название алгебры логики, или математической логики. Основы математической логики заложил в 17 веке немецкий математик Лейбниц. Он сделал попытку построить первые логические исчисления. Лейбниц только развил идею, а окончательно развил и сформулировал ее ученый Джон Буль (1815-1864). В работах Буля логика приобрела свой алфавит, грамматику, орфографию. Поэтому иногда математическую логику называют Булевой алгеброй.

которого записывается, вычисляется, упрощается и преобразуется логическое высказывание.
Основным понятием

математической логики является высказывание.
Высказывание — это повествовательное предложение, про которое всегда можно сказать истинное оно или ложное.
Истинные высказывания обозначаются — 1, а ложные — 0
Высказывания бывают просты и сложные. Сложные состоят из простых, соединенных знаками логических операций.
Высказывания обозначаются заглавными буквами латинского алфавита (простые): A,B,C,D…

логическое умножение

логическое сложение

основные законы, позволяющие производить тождественные преобразования логических выражений.