23.07.2015 1. LOGO 2 В основе современной логики лежат учения, созданные еще древнегреческими мыслителями, хотя первые учения о формах и способах мышления.

Презентация:



Advertisements
Похожие презентации
ЛогикаЛогика. Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Мышление всегда осуществляется через.
Advertisements

Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Мышление всегда осуществляется через понятия, высказывания.
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта, позволяющие отличить их от других. Содержание Объем Совокупность существенных.
1. Соедините правильные определения или обозначения: 1 1. Логика1.АВ 2. Высказывание 2. Логическое сложение 3. Логическая константа 3. Логическое отрицание.
Основы логики. Какие из предложений являются высказываниями? Определить их истинность. Какой длины эта лента? Прослушайте сообщение. Делайте утреннюю.
Основы логики Презентацию подготовила учитель информатики Шевченко Ольга Викторовна МОУ – СОШ 6 города Маркса Саратовской области.
Формы мышления Логические выражения и высказывания.
Основы логики. Высказывания.. Алгебра это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и.
1 Урок информатики. 10 класс.
ОСНОВЫ ЛОГИКИ Повторение Подготовил учитель информатики и ИКТ МОБУ «Ленинская СОШ1 им. Борисова П.С. Антропова С.Ю.
Основы логики. Высказывания.. Логика Логика это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств.
ОСНОВЫ ЛОГИКИ Щеглетова Елена Петровна, учитель информатики школы 15.
Сокращенная версия.
Логика это наука о формах и способах мышления. Logos (древнегреч.) - «слово, мысль, понятие, рассуждение, закон».
Основы логики 1. Формы мышления. Основоположником формальной логики является Аристотель. Логика – это наука о законах и формах мышления. Это учение о.
Основы логики Введение Автор: Сергеев Евгений Викторович МОУ СОШ 4 г. Миньяра Челябинской области Введение.
Основы логики Алгебра высказываний Презентация 9-3.
Алгебра логики Учитель физики, математики, информатики Цапов О. В. с. Александров-Гай, 2009 г.
1 Основы логики и логические основы компьютера 10 класс.
Алексеева Е.В., учитель информатики и ИКТ, МОУ «Сланцевская СОШ 3» Основы логики.
Транксрипт:

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

LOGO 3 Аристотель родился в Стагире (384 г. до н.э.), греческой колонии, расположенной на северо-западном побережье Эгейского моря. Его отец Никомах, принадлежавший к роду врачей Асклепиадов, был придворным врачом Аминты III - македонского царя.

LOGO 4 Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств.

LOGO 5 Высказывание – это формулировка своего понимания окружающего мира. Высказывание является повествовательное предложение, в котором что - либо утверждается или отрицается. Пример 2 1. Истинное высказывание: «Буква «ю» - гласная». 2. Ложное высказывание: «Компьютер был изобретен в середине XIX века».

LOGO 6 Какие из предложений являются высказываниями? Определите их истинность. 1. Какой длины эта лента? 2. Прослушайте информацию. 3. Делайте утреннюю зарядку! 4. Назовите устройства вывода информации. 5. Кто сегодня отсутствует? 6.Париж- столица Канады. 7. Число 11 является составным =9 9. Сложите числа 2 и Некоторые медведи живут на севере. 11. Все медведи белые. 12. Чему равно расстояние от Москвы до Ленинграда.

LOGO 7 Логические операции – логические действия. Базовые логические операции – конъюнкция, дизъюнкция, и отрицание и дополнительные – импликация и эквивалентность.

LOGO 8 Конъюнк ция Дизъюн кция Инвер- сия Имплика- ция Эквива- лент- ность Назва- ние Логическо е умножение Логичес- кое сложение Отрица -ние Логическо е следование Логичес- кое равенств о Обозна- чение А&В или А^В Аv В¬ А или Ā АВ А(условие)В(следствие) АВ или АВ Союз в естественном языке А и ВА или ВНе АЕсли А, то В; когда А, тогда В; коль скоро А то В А тогда и только тогда, когда В

LOGO Конъюнкция (логическое умножение) Вывод: результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны 9 АВА^В

LOGO Дизъюнкция (логическое сложение) Вывод: результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны, и истинным в остальных случаях 10 АВАvВАvВ

LOGO Инверсия (логическое отрицание) 11 А¬ А 01 10

LOGO Импликация 12 АВА В

LOGO Эквивалентность Вывод: результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны 13 АВА В

LOGO 1. Из двух простых высказываний постройте сложное высказывание, используя логические связки и установите истинность исходных и высказываний и полученного высказывания: А = «Число 10 –четное» В= «Число 10 – отрицательное» 14

LOGO А = «Число 10 –четное» = 1 В= «Число 10 – отрицательное» = 0 Конъюнкция: A ^ B =«Число 10 – четное и отрицательное» - ложь 1 ^ 0 = 0 Дизъюнкция: А V B «Число 10 – четное или отрицательное» - истина 1 V 0 = 1 15

LOGO А = «Число 10 –четное» = 1 В= «Число 10 – отрицательное» = 0 Инверсия: А =«Число 10 – нечетное»- ложь 1= 0 В =«Число 10- неотрицательное»- истина 0 = 1 16

LOGO А – «Число 10 –четное»; В- «Число 10 – отрицательное» Импликация: А В =«Если число 10- чётное, то оно отрицательное» - ложь 1 0 =0 Эквивалентность: А В =«Число 10- чётное тогда и только тогда, когда оно отрицательное» - ложь 1 0 =0 17

LOGO Домашнее задание Выучить конспект урока Из двух простых высказываний постройте сложное высказывание, используя логические связки и установите истинность исходных и высказываний и полученного высказывания:«Все ученики изучают математику», «Все ученики изучают литературу». Подготовиться к самостоятельной работе