ОСНОВЫ ЛОГИКИ Кривенцов Л.А.

Содержание

Слайд 2

Логика – это наука о формах и способах мышления. ОСНОВНЫЕ ПОНЯТИЯ: Д. Буль (1815-1864)

Логика – это наука
о формах и способах мышления.

ОСНОВНЫЕ ПОНЯТИЯ:

Д. Буль

(1815-1864)
Слайд 3

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

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

Понятие

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

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

Слайд 4

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

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

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

Объем

Содержание

Слайд 5

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

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

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

на которую оно распространяется.

Содержание понятия персональный компьютер:
универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя.

Объем понятия персональный компьютер:
совокупность существующих в мире ПК

Слайд 6

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

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

что-либо утверждается или отрицается о предметах, их свойствах и отношениях между ними.

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

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

Буква А - гласная

Слайд 7

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

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

реальных вещей.
Пример: Сейчас идёт урок информатики.
Суждение ложно в том случае, когда связь понятий не соответствует реальной действительности.
Пример: Зимой листья на деревьях желтеют.

Высказывание называется простым, если никакая его часть сама не является высказыванием.
Пример: Зимой идет снег.
Высказывание, состоящее из простых высказываний называется составным.
Пример: Когда наступает зима, на реке появляется лёд.

Слайд 8

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

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

(посылок) может быть получено новое суждение (заключение).
Слайд 9

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

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

Слайд 10

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

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

Слайд 11

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

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

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

их содержание.

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

Слайд 12

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

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

алфавита (A,B,C,D…..)

А=«Сейчас идёт урок информатики» A=1
В=«Уже 9 часов вечера» B=0