какое отношение логика имеет к информатике и компьютерной технике, вы узнаете из наших уроков по этой теме. Запишите тему урока «Алгебра логики» в тетрадь.
3. Изучение нового материала.
Немного из истории:
1 этап – формальная логика, основатель – Аристотель (384–322гг. до н. э. ) Ввел основные формулы абстрактного мышления.
2 этап – математическая логика, основатель – немецкий ученый и философ Лейбниц(1642–1716), предпринял попытку логических вычислений.
3 этап – Алгебра высказываний (Булева алгебра), основатель – английский математик Джордж Буль (1815–1864),ввел алфавит, орфографию и грамматику для математической логики.
Запишите определение логики и ключевые слова.
Логика – это наука о формах и способах мышления.
Основные формы мышления:
Понятие;
Высказывание;
Умозаключение.
Высказывание — это языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности (Аристотель).
В алгебре логики высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения "истинно и "ложно.
Истинно 1
Ложно 0
Примерами высказываний могут служить следующие утверждения:
1. "Земля – планета Солнечной системы.
2. "4 6 10.
3. "Число 15 – простое.
1-е высказывание – истинно, высказывания 2, 3 – ложные.
Утверждения "х0, "Выучить логику – просто не являются высказываниями, так как судить об их истинности или ложности невозможно.
Приведенные примеры являются простыми высказываниями (суждениями).
Используя союзы "и, "или из простых высказываний образуют составные (сложные) высказывания. Например: "На улице идет дождь и дует ветер.
Если истинность или ложность простых выска
Страницы: << < 1 | 2 | 3 | 4 > >>