Основные понятия формальной логики. Информатика – –– – основанная на использовании компьютерной техники дисциплина, изучающая структуру и общие свойства. - презентация

1 Основные понятия формальной логики

2 Информатика – –– – основанная на использовании компьютерной техники дисциплина, изучающая структуру и общие свойства информации, а также закономерности и методы ее создания, хранения, поиска, преобразования и применения в различных сферах человеческой деятельности.

3 Логика: 1. 1.Наука о законах и формах мышления. Формальная логика, диалектическая логика Ход рассуждений, умозаключений Разумность, внутренняя закономерность чего-нибудь. Из «Толкового словаря русского языка» С. И. Ожегова Логика: 1. 1.Наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Формальная л., Математическая л Ход рассуждений, умозаключений Разумность, внутренняя закономерность. Из «Словаря иностранных слов и выражений» составитель Е. С. Зенович Формальная логика – наука, изучающая формы мыслей и их сочетаний вне зависимости от конкретного содержания суждений и умозаключений.

4

5 Логика (наука о законах и формах мышления) (наука, изучающая формы мыслей, и их сочетаний вне зависимости от конкретного содержания суждений и умозаключений) Диалектическая логика Формальная логика Математическая логика Основные понятия формальной логики

6 Логическое высказывание (суждение) – повествовательное выражение, относительно которого можно однозначно сказать истинно оно (1) или ложно (0). Высказывательная форма (логическое выражение) – повествовательное выражение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещаются своими значениями.

7 Высказывательная форма суждение (утверждение) Умозаключение. Рассуждение.

8 1. 1. Кислород при температуре 30 0 С и давлении 10 5 Па находится в газообразном состоянии Кит - это рыба Сумма внутренних углов треугольника равна Две прямые, параллельные третьей, параллельны между собой В городе N миллион жителей Число К> Для поступления в институт необходим аттестат о среднем образовании. Суждение (логическое высказывание). Логическое выражение (высказывательная форма). Утверждение. Рассуждение.

9 Задания Выберите пример, являющийся высказыванием: a) a) «Не могли бы вы передать мне соль?» b) b) «Н. В. Гоголь писал «Мертвые души» в Риме.» c) c) «Солнце есть спутник Земли.» d) d) «Некоторые лекарства опаснее самих болезней» e) e) «Сегодня замечательная погода!»

10 Задание Определите значение логических высказываний: a) a) Кислород – газ. b) b) Я живу в Москве. c) c) Снег - белый. d) d) 2 меньше 3. e) e) Х 5 f) f) Как хорошо быть генералом! g) g) Первая космическая скорость равна 7,8 км/с.

11 Домашнее задание П (стр ) – прочитать. Ответить на вопросы 1-3 на стр Рассказ по схеме (см. тетрадь). Определения – знать. (см. тетрадь)