close

Вход

Забыли?

вход по аккаунту

?

открытый урок презентация

код для вставки
Сосковский филиал
бюджетного образовательного учреждения
Орловской области
среднего профессионального образования
«Орловский реставрационно-строительный техникум»
Открытый урок
по теме «Основы логики»
Преподаватель:
Н.А.Ивочкина
2014 г.
Тема урока
«Основы логики»
Цели урока
1.Изучить понятия: логика, алгебра
логики, понятие, высказывание,
умозаключение, инверсия, конъюнкция,
дизъюнкция;
2.Научиться переводить высказывания на
язык алгебры логики, определять истину
и ложь высказываний, составлять
таблицы истинности;
3.Научиться применять знания при
решении простых устных упражнений и
при решении задач.
План урока
1.
2.
3.
4.
5.
Исторические сведения о развитии
логики;
Логика и формы мышления;
Алгебра высказываний, логические
операции;
Таблицы истинности;
Логические выражения.
Логика – это наука о
формах и способах
мышления.
Этапы развития логики
1-й этап связан с работами ученого
и философа Аристотеля (384-322 гг.
до н.э.). Он пытался найти ответ на
вопрос: «Как мы рассуждаем?»,
изучал
правила
мышления.
Аристотель
впервые
дал
систематическое изложение логики,
подверг
анализу
человеческое
мышление.
2-й
этап
–
появление
математической
логики.
Основы ее заложил немецкий
ученый и философ Готфрид
Вильгельм Лейбниц (16461716). Он считал, что можно
заменить простые
рассуждения
действия
со
знаками и привёл
соответствующие правила.
Окончательно развил логику
как науку англичанин Джордж
Буль (1815-1864). Он является
основоположником
математической логики как
самостоятельной дисциплины.
В его работах логика обрела свой алфавит,
свою орфографию и грамматику.
Недаром начальный раздел математической
логики называют алгеброй логики, или
булевой алгеброй.
Формы мышления
понятие
высказывание
умозаключение
Понятие
-
это форма мышления,
фиксирующая основные,
существенные
признаки
объекта.
Две стороны понятия
СОДЕРЖАНИЕ
Совокупность
существенных
признаков
объекта
ОБЪЁМ
Совокупность
предметов
Высказывание
-
это форма мышления, в которой чтолибо утверждается или отрицается о
свойствах
реальных предметов и
отношениях между ними.
Высказывание является повествовательным предложением, о котором
можно сказать истинно оно или ложно.
 Высказывания
могут
выражаться с помощью
математических, физических,
химических знаков.
 Например: 1<10,
Na2O + CO2 = Na2CO3.
Какие
из
предложений
являются
высказываниями? Определите истинность
и ложность высказываний.
1. Как измерить объём кабинета?
 2. Число 11 является простым.
 3. Сосковский район граничит с
Шаблыкинским районом.
 4. Чему равно расстояние от Сосково до
Карачева?
 5. Сложите числа 2 и 5.
 6. Все медведи – бурые.
 7. Пока!

Умозаключение
-
это форма мышления, с
помощью которой из одного
или нескольких суждений
(посылок)
может
быть
получено новое суждение
(заключение).
Посылки
-
это высказывания,
содержащие исходные
знания.
Заключения
-
это высказывания,
содержащие новое знание,
полученное из исходного.
Умозаключение
дедуктивное
индуктивное
От общего
к частному
От частного
к общему
Все металлы проводят
электрический ток
А=В, В=С
следовательно А=С
Виды умозаключений
 Паралогизм – умозаключение,
содержащее непреднамеренную ошибку
(к.р.)
 Софизм – умозаключение,
содержащее преднамеренную ошибку с
целью выдать ложь за истину.
 Например, 2*2=5
4 = 5 (4/4)=(5/5), 1=1
следовательно 4=5
Задание
Расставьте стрелки в соответствии с
определениями
Форма мышления, с
помощью которой из одного
или нескольких суждений
может быть получено новое
суждение.
Логика
Форма мышления,
фиксирующая существенные
признаки объекта
Умозаключение
Наука о формах и способах
мышления
Понятие
Высказывание, построенное
на основании простых
высказываний.
Ложь
Высказывание, не
соответствующее
действительности.
Составное
Форма мышления, с помощью которой из одного или нескольких
суждений может быть получено новое суждение.
 УМОЗАКЛЮЧЕНИЕ

Форма мышления, фиксирующая существенные признаки объекта
 ПОНЯТИЕ

Наука о формах и способах мышления
 ЛОГИКА

Высказывание, построенное на основании простых высказываний.
 СОСТАВНОЕ

Высказывание, не соответствующее действительности.
 ЛОЖЬ

Алгебра высказываний
В алгебре высказываний высказывания
обозначаются именами
логических
переменных, которые могут принимать
лишь два значения: «истина» (1) и
«ложь» (0).
Логические переменные обозначаются
буквами латинского алфавита.
Например:
А=«Все буквы – это алфавит»
В=«Волга впадает в Черное море»
В
алгебре
высказываний
над
высказываниями производят логические
операции
и
получают
составные
высказывания.
Наиболее часто используемые логические
операции: «и», «или», «не».
Например:
1) Все буквы – это алфавит и Волга
впадает в Черное море.
2) Все буквы – это алфавит или Волга
впадает в Черное море.
Заполнить таблицу
Логические
операции
Конъюнкция
(Логическое
умножение)
Дизъюнкция
(Логическое
сложение)
Инверсия
(Логическое
отрицание)
Определение
Обозначение
«И» «&» «^»
«ИЛИ» «v» «+»
«НЕ» «¬» «-»
Конъюнкция
(логическое умножение)
Соответствует союзу «и»
 Обозначается &, ^
Конъюнкция
двух
А
В
А^В
высказываний
0
0
0
истинна
тогда
и
0
1
0
только тогда, когда
оба высказывания
1
0
0
истинны.

1
1
1
Дизъюнкция
(логическое сложение)
 Соответствует союзу «или»
 Обозначается v, +
Дизъюнкция двух
А
В АvВ
высказываний
0
0
0
ложна
тогда
и
0
1
1
только
тогда,
когда оба выска1
0
1
зывания ложны.
1
1
1
Инверсия
(операция отрицания)
Соответствует частице «не»
 Обозначается ¬

А
¬А
0
1
1
0
Инверсия
делает
истинное высказывание
ложным и, наоборот,
ложное – истинным.
Алгоритм
построения таблиц истинности
Определить количество наборов (строк в
таблице) по формуле Q=2n. (n-количество
высказываний)
 Разделить
колонку
значений
первой
переменной пополам и заполнить верхнюю
половину 0, нижнюю половину 1.
 В следующей колонке для второй переменной
половину снова делить пополам и заполнить
четырьмя группами 0 и 1, вперемежку,
начиная опять с группы 0 и т.д.

Упражнения
Запишите истинные сложные
высказывания из простых с
использованием логических операций:
 1) 10>Y>5 и Z<0;
 2) Хотя бы одно из чисел X,Y,Z не
меньше 12.

Автор
ivnatali-1612
Документ
Категория
Презентации по информатике
Просмотров
14
Размер файла
740 Кб
Теги
урок, презентация, открытый
1/--страниц
Пожаловаться на содержимое документа