ОСНОВЫ ЛОГИКИ Логика – это наука о формах и способах мышления.
Cлайд 2
Основные формы мышления Понятие Умозаключение Высказывание
Cлайд 3
Понятие форма мышления, фиксирующая основные, существенные признаки объекта Две стороны понятия: Объем Содержание
Cлайд 4
Содержание понятия составляет совокупность существенных признаков объекта. Объем понятия определяется совокупностью предметов, на которую оно распространяется.
Cлайд 5
Высказывание – это форма мышления, выраженная с помощью понятий, в которой что-либо утверждается или отрицается о предметах, их свойствах и отношениях между ними. простое/составное ложное/истинное
Cлайд 6
Истинно суждение, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Суждение ложно в том случае, когда связь понятий не соответствует реальной действительности. Высказывание называется простым, если никакая его часть сама не является высказыванием. Высказывание, состоящее из простых высказываний называется составным.
Cлайд 7
Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).
Cлайд 8
Cлайд 9
Форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение. Логика Форма мышления, фиксирующая существенные признаки объекта Умозаключение Наука о формах и способах мышления Понятие Высказывание, построенное на основании простых высказываний. Ложь Высказывание, не соответствующее действительности. Составное
Cлайд 10
Алгебра высказываний способствует определению истинности или ложности составных высказываний, не вникая в их содержание. 1 – ИСТИНА 0 - ЛОЖЬ
Cлайд 11
Простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита Составные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются на логические операции. Логические операции задаются таблицами истинности. Логические выражения, у которых последние столбцы истинности совпадают, называют равносильными.
Cлайд 12
Базовые логические операции Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность
Cлайд 13
Конъюнкция - операция логического умножения В естественном языке соответствует союзу И Составное высказывание истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. A B F=A&B На улице холодно. На улице идет снег. На улице холодно и идет снег.
Cлайд 14
Cлайд 15
Cлайд 16
Дизъюнкция - операция логического сложения В естественном языке соответствует союзу ИЛИ Составное высказывание истинно, когда истинно хотя бы одно из входящих в него простых высказывания. A B F=A B Земля движется по круговой орбите. Земля движется по эллиптической орбите. Земля движется по круговой или эллиптической орбите.
Cлайд 17
Cлайд 18
Cлайд 19
Инверсия - операция логического отрицания В естественном языке соответствует словам неверно, что… и частице НЕ Делает истинное высказывание ложным и наоборот, ложное – истинным. A A Добро Зло
Cлайд 20
Cлайд 21
Cлайд 22
Импликация - операция логического следования В естественном языке соответствует обороту если…, то… Составное высказывание ложно, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно. A B A B Число делится на 9. Число делится на 3. Если число делится на 9, то оно делится на 3.
Cлайд 23
Cлайд 24
Cлайд 25
Эквивалентность- равнозначность В естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае Составное высказывание истинно, когда оба исходных высказывания одновременно истинны или одновременно ложны. A B F=A B Угол прямой Угол равен 900 Угол называется прямым тогда и только тогда, когда он равен 900.
Cлайд 26
Cлайд 27
Cлайд 28
Cлайд 29
Cлайд 30
Cлайд 31
Cлайд 32
1. Изучите новый материал по конспекту в тетради. 2. Разгадайте предложенный кроссворд и вклейте его в тетрадь.