Презентация, доклад по информатике на тему основы логики (10 класс)

Элберт Хаббард.

Преподаватель общеобразовательных дисциплин: Зарипова Р.Ж.

Его отец был врачом и другом македонского царя Аминта II. Аристотель рос и учился вместе с сыном Аминта - будущим царем Филиппом II Македонским, и на протяжении всей жизни его судьба была тесно связана с македонским царским домом. В возрасте 18 лет Аристотель отправился в Афины к великому мыслителю Платону и провел в его школе около 20 лет. Он был самым способным из учеников Платона, глубоко усвоившим его знания и идеи, но далеко не всегда согласный со своим учителем.
В 343 году до н.э. царь Филипп приглашает Аристотеля стать наставником своего сына Александра. Когда через несколько лет Александр сам становится царем, знаменитым Александром Македонским, Аристотель возвращается в Афины и собирает вокруг себя учащуюся молодежь, которой читает курсы различных наук. В 323 году до н.э. умер Александр Македонский и в Афинах победила антимакедонская партия. Аристотель, как друг и учитель Александра, вынужден был покинуть Афины. Год спустя он умер на острове Евбея.
Аристотеля считают основоположником логики. В определении Аристотеля логика представляет собой науку о выводе одних умозаключений из других сообразно их логической форме. В соответствии с этим логику Аристотеля называют формальной. В своих трудах Аристотель впервые обосновал один из важнейших разделов логики √ учение о суждениях и силлогизмах.

о формах и способах мышления. Это учение о способах рассуждений и доказательств. Законы мира, сущность предметов, общее в них мы познаем посредством абстрактного мышления. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Формы мышления

понятие

умозаключение

суждение
(высказывание,
утверждение)

класса предметов, позволяющие отличить их от других.
Пример понятие выделяет существенные признаки объекта, которые отличают его от других объектов. Объекты, объединенные понятием, образуют некоторое множество.

множество животных;
A –множество травоядных животных;
B – множество хищных животных;
C –множество млекопитающих;

А

B

E

C

предложением, в котором что либо утверждается или отрицается.
Пример:
Истинное высказывание: « Клавиатура – устройство ввода».
Ложное высказывание: «Жесткий диск, относится к внутренней памяти».

утреннюю зарядку!
Назовите устройство вывода информации.
Кто отсутствует?
Париж –столица Англии.
Число 11 является простым.
4+5=10.
Без труда не вытащишь и рыбку из пруда.
Сложите числа 2и 5.
Некоторые медведи живут на севере.
Чему равно расстояние от Москвы до Ленинграда?

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

суждения в отличие от его содержания, объективна, т.е. не зависит от тех или иных взглядов человека.

общих операциях, аналогичных сложению и умножению, которые могут выполняться не только над числами, но и над различными математическими объектами. Такая алгебра называется алгеброй логики. Алгебра логики отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказывания.

символическое обозначение – латинская буква (A,B,X,Y, …). Значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0).
Составное высказывание – логическая функция, которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение F(A, B,…)
Логическая операция – логическое действие.

– импликация и эквивалентность.

Конъюнкция (о лат.conjunctio-связываю) – логическое умножение.
Обозначение A&B или A^B
Союз в естственном языке И
Правило истинности
Составное высказывание, образованное в результате логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны входящие в него простые высказывания.

логическое сложение
Обозначение A B
Союз в естственном языке или
Правило истинности
Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

в естственном языке НЕ A
Правило истинности
Логическое отрицание (инверсия) делает истинное высказывание ложным, а ложное - истинным.

следование
Обозначение AB
Союз в естственом языке Если А, то В
А- условие B- следствие
Правило истинности
Составное высказывание, образованное с помощью операции логического следования (импликации), ложно тогда, когда из истинной посылки (высказывания) следует ложный вывод (второе высказывание)

равенство
Обозначение А ≡ B или А ⇔ B
  Союз в естственном языке , тогда и только тогда.
Правило истинности
Составное высказывание, образованное с помощью операции логического равенства (эквивалентности), истинно только тогда, когда оба высказывания одновременно либо истинны, либо ложны

логических переменных;
Число столбцов = число логических переменных + число логических операций

поедет в деревню и, если будет хорошая погода. То он пойдет на рыбалку».
Проанализируем составное высказывание.
Оно состоит из следующих простых высказываний: « Петя поедет в деревню», «Он пойдет на рыбалку», «Будет хорошая погода». Обозначим их через логические переменные.
A=« Петя поедет в деревню»;
B=«Будет хорошая погода»;
C=«Он пойдет на рыбалку»;
Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо расставим скобки:
A&(BC).

( ответ:?)

высказываний, умозаключений).
Какую алгебру называют алгеброй логики?

уровень.
§ 3.1стр. 104-118, устно отв. на вопросы в конце параграфа