Основы логики урок 1.
1. Основоположники науки логики;
2. Формы мышления;
3. Две стороны понятия;
4. Свойства высказывания;
5. Слова-кванторы.
Более 2300 лет назад древнегреческий философ Аристотель впервые систематизировал формы и правила мышления.
Логика - наука о способах и формах мышления.
Алгебра логики - раздел математической логики.
Булева алгебра.
Применение:
1. Для упрощения сложных логических доказательств и тождеств.
2. При решении логических задач.
3. При доказательстве теорем.
4. В контактных схемах.
5. В базах данных при составлении запросов.
Джордж Буль изобрел систему обозначений и правил, применимую ко всевозможным объектам, от чисел до предложений.
Самостоятельная работа.
Слова-кванторы, логические высказывания и выражения.
1. Верно или неверно? (пример ответа: 1 - верно, 2 - неверно).
а) Все компьютеры - приборы.
б) Не все приборы - компьютеры.
в) Все программы - игры.
г) Не все игры - программы.
2. Выберите правильное слово-квантор:
В классе: 10 мальчиков и 15 девочек. 25 детей ходят в бассейн.
(Все, не все, никакие) девочки из класса ходят в бассейн.
3. Определите высказывание это или нет. (пример ответа: 1 - да, 2 - нет):
а) Пейте томатный сок.
б) 2+5>6.
в) Стой, кто идет?
г) Какого цвета этот цветок?
д) У учителя всегда есть любимый ученик.
е) Да здравствует мир во всем мире!
Весь материал - в архиве.