Презентация к уроку "Элементы алгебры логики"

Автор: Шаповалова Г.Г. Учитель информатики МОУ СОШ №34 г. Комсомольска-на-Амуре

Логика - наука древняя.

Ее основоположником считают древнегреческого мыслителя Аристотеля (384 -322гг. до н. э.).

Он пытался найти ответ на вопрос "как мы рассуждаем" и изучал правила мышления.

• Формальная логика - наука пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила мышления.

• Продолжение развития логики начинается с появления математической, или символической, логики.
• Основоположником математической логики считают великого немецкого математика и философа Готфрида Вильгельма Лейбница (1646-1716).
• Он попытался построить первые логические исчисления: арифметические и буквенно-алгебраические, что можно заменить простые рассуждения действиями со знаками, и привел соответствующие правила.

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

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

• Правильное мышление не является врожденным, поэтому его надо формировать.

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

Логика – это наука о формах и

способах мышления.