Логика деген эмне

ЛОГИКА

Аристотель заложил основы формальной логики .

Он отделил логические формы мышления от его содержания.

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

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

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

• понятие , высказывание (суждение) , умозаключение .
• понятие ,
• высказывание (суждение) ,
• умозаключение .

ВЫСКАЗЫВАНИЕ

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

Высказывание может быть либо истинно , либо ложно .

«Два умножить на два равно четырём»

«Два умножить на два равно пяти»

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

В ложном высказывании связь понятий искажает объективные отношения, не соответствует реальной действительности.

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

« Наступила весна»

Составное (сложное) высказывание состоит из простых высказываний.

«Наступила весна, и прилетели грачи»

В основе

математики

логики

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

(логическая переменная)

число,

переменная

Сколько различных чисел существует?

Сколько различных значений могут принимать переменные?

Сколько различных значений могут принимать логические переменные?

«Истина» (1)

«Ложь» (0)

Соедините правильные определения или обозначения:

А → В

А или В

Наука о формах и способах мышления

Не А

ИСТИНА и ЛОЖЬ

А ↔В

А и В

Наука об операциях над высказываниями

Повествовательное предложение, в котором что – либо утверждается или отрицается.

Логика

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

Алгебра логики

Логическая константа

Дизъюнкция

Инверсия

Конъюнкция

Импликация

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