Презентация на тему: Основы логики
ОСНОВЫ ЛОГИКИЛогика – это наука о формах и способах мышления.
Основные формы мышления Понятие Умозаключение Высказывание
Понятие форма мышления, фиксирующая основные, существенные признаки объекта Две стороны понятия: Объем Содержание
Содержание понятия составляет совокупность существенных признаков объекта. Объем понятия определяется совокупностью предметов, на которую оно распространяется.
Высказывание – это форма мышления, выраженная с помощью понятий, в которой что-либо утверждается или отрицается о предметах, их свойствах и отношениях между ними. простое/составное ложное/истинное
Истинно суждение, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Суждение ложно в том случае, когда связь понятий не соответствует реальной действительности. Высказывание называется простым, если никакая его часть сама не является высказыванием. Высказывание, состоящее из простых высказываний называется составным.
Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).
Составное Высказывание, не соответствующее действительности. Ложь Высказывание, построенное на основании простых высказываний. Понятие Наука о формах и способах мышления Умозаключение Форма мышления, фиксирующая существенные признаки объекта Логика Форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение.
способствует определению истинности или ложности составных высказываний, не вникая в их содержание. 1 – ИСТИНА 0 - ЛОЖЬ Алгебра высказываний
Простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита Составные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются на логические операции. Логические операции задаются таблицами истинности. Логические выражения, у которых последние столбцы истинности совпадают, называют равносильными.
Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность Базовые логические операции
В естественном языке соответствует союзу И Составное высказывание истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. На улице холодно и идет снег. На улице идет снег. На улице холодно. F=A&B B A Конъюнкция - операция логического умножения
В естественном языке соответствует союзу ИЛИ Составное высказывание истинно, когда истинно хотя бы одно из входящих в него простых высказывания. Земля движется по круговой или эллиптической орбите. Земля движется по эллиптической орбите. Земля движется по круговой орбите. F=AB B A Дизъюнкция - операция логического сложения
В естественном языке соответствует словам неверно, что… и частице НЕ Делает истинное высказывание ложным и наоборот, ложное – истинным. Зло Добро A A Инверсия - операция логического отрицания
Импликация - операция логического следования В естественном языке соответствует обороту если…, то… Составное высказывание ложно, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно. Если число делится на 9, то оно делится на 3. Число делится на 3. Число делится на 9. AB B A
Эквивалентность- равнозначность В естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае Составное высказывание истинно, когда оба исходных высказывания одновременно истинны или одновременно ложны. Угол называется прямым тогда и только тогда, когда он равен 900. Угол равен 900 Угол прямой F=AB B A
Зверь полосатый или хищный A v B Зверь полосатый и хищный A & B Зверь не хищный B Зверь не полосатый A Зверь хищный B Зверь полосатый A Заяц Бурундук Волк Тигр Высказывание Формула
0 1 1 1 Зверь полосатый или хищный A v B 0 0 0 1 Зверь полосатый и хищный A & B 1 1 0 0 Зверь не хищный B 1 0 1 0 Зверь не полосатый A 0 0 1 1 Зверь хищный B 0 1 0 1 Зверь полосатый A Заяц Бурундук Волк Тигр Высказывание Формула
1. Изучите новый материал по конспекту в тетради. 2. Разгадайте предложенный кроссворд и вклейте его в тетрадь.
