Формы мышления
Логика - это наука оформах и способах мышления.Основы формальной логики заложил Аристотель.
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта,позволяющие отличить их от других.Совокупность существенных признаков объектовОпределяется совокупностьюпредметов, на Которую оно распространяется.Треугольник, компьютер, молния.
Высказывание – это формулировка своего понимания окружающего мира.Высказывание является повествовательным предложением,в котором что – либо утверждается или отрицается.Высказывание может быть либо истинно (1), либо ложно (0).
Какие из предложений являются высказываниями? Определите их истинность. Какой длины эта лента? Прослушайте сообщение. Делайте утреннюю зарядку! Назовите устройство ввода информации. Кто отсутствует? Париж – столица Англии. Число 11 является простым. 4+5=10 Без труда не вытащишь и рыбку из пруда. Сложите числа 2 и 5. Некоторые медведи живут на севере. Все медведи – бурые.
Умозаключение – это формамышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание, вывод).Все углы треугольника равныЭтот треугольник равносторонний
Алгебра высказываний
Алгебра логики – это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями.Алгебра логики принимает только во внимание истинность или ложность высказывания.
Логическая переменная – это простое высказывание, содержащее только одну мысль.Её символьное обозначение – латинская буква (например: А,В,С…)Значением логической переменной могут быть только ИСТИНА и ЛОЖЬ.Логическая функция – составное высказывание, которое содержитнесколько простых мыслей, соединенных между собой с помощью логических операций.
Логические операции – логические действия.Конъюнкция (логическое умножение)Дизъюнкция (логическое сложение)Инверсия (логическое отрицание)
Конъюнкция (логическое умножение)Обозначение: А & B или А ^ BСоюз в естественном языке – И (А и В)Пример: А – «Число 10 – четное» В – «Число 10 – отрицательное». Число 10 четное и отрицательное.
Дизъюнкция (логическое сложение)Обозначение: А v B Союз в естественном языке – ИЛИ (А или В)Пример: А – «Число 10 – четное» В – «Число 10 – отрицательное». Число 10 четное или отрицательное.
Инверсия (логическое отрицание)Обозначение: F = A Союз в естественном языке – не (F не А)Пример: А – «Число 10 – четное» Число 10 не четное.
Таблицы истинности.
Таблица истинности – таблица, определяющая значениесложного высказывания при всехвозможных значениях простых высказываний.
КонъюнкцияВывод: результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны.
ДизъюнкцияВывод: результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны.
ИнверсияВывод: результат будет ложным, если исходное выражение истинно, и наоборот.
Д/з стр.122 - 129 записи в тетради письменно: задание стр. 129 (10 высказ.)