ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

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

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

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

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