Основы логики

Содержание

Слайд 2

Основные формы мышления

Понятие

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

Высказывание

Основные формы мышления Понятие Умозаключение Высказывание

Слайд 3

Понятие
форма мышления, фиксирующая основные, существенные признаки объекта

Две стороны понятия:

Объем

Содержание

Понятие форма мышления, фиксирующая основные, существенные признаки объекта Две стороны понятия: Объем Содержание

Слайд 4

Содержание понятия составляет совокупность существенных признаков объекта.

Объем понятия определяется совокупностью предметов, на

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

Слайд 5

Высказывание – это форма мышления, выраженная с помощью понятий, в которой что-либо

Высказывание – это форма мышления, выраженная с помощью понятий, в которой что-либо
утверждается или отрицается о предметах, их свойствах и отношениях между ними.

простое/составное

ложное/истинное

Слайд 6

Истинно суждение, в котором связь понятий правильно отражает свойства и отношения реальных

Истинно суждение, в котором связь понятий правильно отражает свойства и отношения реальных
вещей.
Суждение ложно в том случае, когда связь понятий не соответствует реальной действительности.

Высказывание называется простым, если никакая его часть сама не является высказыванием.
Высказывание, состоящее из простых высказываний называется составным.

Слайд 7

Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений

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

Слайд 8

Выполните задание 1

Выполните задание 1

Слайд 9

Проверьте правильность выполнения задания

Проверьте правильность выполнения задания

Слайд 10

Алгебра высказываний

способствует определению истинности или ложности составных высказываний, не вникая в их

Алгебра высказываний способствует определению истинности или ложности составных высказываний, не вникая в
содержание.

1 – ИСТИНА
0 - ЛОЖЬ

Слайд 11

Простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита

Составные

Простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита
высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются на логические операции.

Логические операции задаются таблицами истинности.

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

Слайд 12

Базовые логические операции

Конъюнкция

Дизъюнкция

Инверсия

Импликация

Эквивалентность

Базовые логические операции Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность

Слайд 13

Конъюнкция - операция логического умножения

В естественном языке соответствует союзу И
Составное высказывание истинно тогда

Конъюнкция - операция логического умножения В естественном языке соответствует союзу И Составное
и только тогда, когда истинны все входящие в него простые высказывания.

Слайд 16

Дизъюнкция - операция логического сложения

В естественном языке соответствует союзу ИЛИ
Составное высказывание истинно, когда

Дизъюнкция - операция логического сложения В естественном языке соответствует союзу ИЛИ Составное
истинно хотя бы одно из входящих в него простых высказывания.

Слайд 19

Инверсия - операция логического отрицания

В естественном языке соответствует словам неверно, что… и частице

Инверсия - операция логического отрицания В естественном языке соответствует словам неверно, что…
НЕ
Делает истинное высказывание ложным и наоборот, ложное – истинным.

Слайд 22

Импликация - операция логического следования

В естественном языке соответствует обороту если…, то…
Составное высказывание ложно,

Импликация - операция логического следования В естественном языке соответствует обороту если…, то…
когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.

Слайд 25

Эквивалентность- равнозначность

В естественном языке соответствует оборотам речи тогда и только тогда; в

Эквивалентность- равнозначность В естественном языке соответствует оборотам речи тогда и только тогда;
том и только в том случае
Составное высказывание истинно, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Слайд 28

Выполните задание 2

Выполните задание 2

Слайд 31

Заполните кроссворд

Заполните кроссворд
Имя файла: Основы-логики.pptx
Количество просмотров: 158
Количество скачиваний: 0