Презентация на тему: Алгебра логики

2 этап 2 этап математическая логика Основатель – немецкий ученый и философ Лейбниц(1642 -1716), предпринял попытку логических вычислений.

3 этап 3 этап Алгебра высказываний (Булева алгебра) Основатель – английский математик Джордж Буль(1815 – 1864),ввёл алфавит, орфографию и грамматику для математической логики.

это форма мышления, фиксирую- это форма мышления, фиксирую- щая основные, существенные признаки объекта.

Высказывание может быть Высказывание может быть истинно или ложно.

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно». В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно». Истинно = 1 Ложно = 0