История Первые учения о формах и способах рассуждений возникли в странах древнего Востока (Китай, Индия). Основы формальной логики заложил Аристотель, - презентация

1

2 История Первые учения о формах и способах рассуждений возникли в странах древнего Востока (Китай, Индия). Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления от его содержания. История логики насчитывает более 2,5 тысяч лет. Первоначально она развивалась для образования отдельных разделов математики. В последние 3 десятилетия логика находит применение во многих областях в том числе в информатике, теории алгоритмов, кибернетики.

3

4 Формы мышления Умозаключение Высказывание Понятие Понятие - это форма мышления, фиксирующая основные, существенные признаки объекта. Например. «Персональный компьютер» – это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя. Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение. Например, если мы имеем суждение «Все углы треугольника равны», то мы можем путем умозаключения доказать, что в этом случае справедливо суждение «Этот треугольник равносторонний».

5 Высказывание Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо ложным, либо истинным.

6 Высказывание является повествовательным предложением. Высказывания могут быть выражены как с помощью естественных так и с помощью формальных языков. Например, высказывание на естественном языке имеет вид «Два умножить на два равно четырем» «2*2=4». «Два умножить на два равно четырем», а на формальном, математическом языке оно записывается в виде «2*2=4».

7 1.Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Пример: Пример: «процессор является устройством обработки информации». 2.Ложным высказывание будет в том случае, когда оно не соответствует реальной действительности. Пример: Пример: «процессор является устройством печати».

8

9 А. Умозаключение B. Понятие C. Высказывание 1. Если квадрат гипотенузы равен сумме квадратов катетов, то это прямоугольный треугольник. 2. На улице светит солнце и очень теплая погода. 3. Принтер и сканер – периферийные устройства. 4. Идет урок. 5. Информатика – это наука об информации. 6. Если вода твердая, то это лед. Задание. Определите к какой форме мышления относятся предложения.

10 123456АСВСВА АСВСВВ I Вариант II Вариант