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

Презентация на тему "Законы и правила математической логики" по алгебре в формате powerpoint. В презентации для школьников приведены основные законы логики, а также различные задания на упрощение логических выражений.

Фрагменты из презентации

Основные законы алгебры логики

• Закон тождества
• Закон непротиворечия
• Закон исключающего третьего
• Закон двойного отрицания
• Закон Моргана
• Закон поглощения
• Закон поглощения
• Правило ассоциативности
• Правило дистрибутивности
• Правило идемпотентности
• Правило коммутативности

Морган Огастес де

Морган Огастес (Августус) де (27.6.1806-18.3. 1871)-шотландский математик и логик. Секретарь Королевcкого астрономического общества (1847г.), член Лондонского королевского общества. Первый президент Лондонского математического общества. Родился в Мадуре (Индия).

Учился в Тринити-колледж (в Кембридже). Профессор математики в университетском колледже в Лондоне. Основные труды по алгебре, математическому анализу и математической логике. В теории рядов описал логарифмическую шкалу для критериев сходимости; занимался теорией расходящихся рядов. Один из основателей формальной алгебры. Продолжая работы Дж. Пикока, Морган в 1841-1847гг. опубликовал ряд работ по основам алгебры. В трактате "Формальная логика или исчисление выводов необходимых и возможных" (1847г.), Морган некоторыми своими положениями опередил Дж. Буля.

Позднее Морган успешно изучал логику отношений - область, не охваченную исследованиями предшественников. В книге "Тригонометрия и двойная алгебра" (1849г.) развил мысль У. Гамильтона о распространении идей символической алгебры на исчисление комплексных величин. Благодаря этому комплексные величины были строго обоснованы не только геометрически, но и алгебраически. Написал много исторических работ, в частности книгу "Бюджет парадоксов" (1872г.). Большой вклад внес также в дедуктивную логику вообще и математическую в частности. Лондонское математическое общество учредило медаль им. О. Моргана.