ЛогикаЛогика – наука о формах мышления, учение о способах рассуждений и доказательств. Логика позволяет строить абстрактные модели реальных объектов, не отвлекаясь на их содержание
Слайд 10
Пример Высказывание:
«Буква «А» – гласная»
истинно
Высказывание:
«Компьютер был
изобретен в середине XIX века»
ложно
Слайд 11
Сложные высказывания Простые высказывания могут быть объединены в сложные
с помощью союзов «и» или «или», с помощью частицы
«не» и др.
Слайд 12
Истинность высказываний Простых: в результате соглашений на основе здравого
смысла
Сложных: в результате вычислений по формулам алгебры высказываний
Слайд 13
Упражнение Какой длины эта лента? Прослушайте сообщение! Делайте утреннюю зарядку! Назовите
устройства ввода/вывода информации. Кто отсутствует? Париж – столица Англии Число 11 является
простым 4 + 5 = 10 Без труда не вытащишь и рыбку из пруда Некоторые медведи живут на севере Все медведи – бурые Чему равно расстояние от Москвы до Питера?
Слайд 14
Умозаключения Умозаключения – это форма мышления, с помощью
которой из одного или нескольких высказываний (посылок) может быть
получено новое суждение (заключение)
Посылками могут быть только истинные высказывания, иначе заключение может быть ложным
Слайд 15
Пример Дано высказывание:
«Все углы равнобедренного треугольника равны»