Author: BOOTDISK

“Аристотель
(384 г. до н.э. – 322 г. до н.э) ”.
Впервые проблемы точного мышления были систематизированы и обобщены в трудах древнегреческого философа Аристотеля, которому удалось отделить логические формы мышления от содержания. . Аристотель создавал логику как науку о доказательстве истины. Он подошел вплотную к теории доказательств. Но решить эту задачу даже очень гениальному человеку было не под силу. Потребовались тысячелетия упорного труда до получения результатов.
Готфрид Вильгельм Лейбниц
(1646-1716).
Лейбниц взглянул на логику Аристотеля через призму математики:
все известные понятия сводились к сочетанию простых понятий;
разработал идею логического счисления, то есть сформулировал правила действия с символами;
простые рассуждения обозначались символами, сложные элементы логических высказываний обозначались формулами, а суждения – уравнениями;
в результате удалось заменить содержательные высказывания формальными буквами, перейти к доказательству с помощью карандаша и бумаги.
Английский ученый Джордж Буль (1815-1864гг.)”
Джордж Буль представил логику как алгебру классов. Для обозначения классов использовал буквенные символы A, D, C, B и т.д. основными логическими операциями он считал: сложение классов, умножение классов, дополнение классов.
В булевой алгебре классы имеют только два значение “0” и “1”

Организация

МОУ СОШ № 11 г. Благовещенск.

Аристотель

ПОНЯТИЕ
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.
Понятие выделяет существенные признаки объекта, которые отличают его от других объектов.
ВЫСКАЗЫВАНИЕ.
Высказывание – это форма мышления, где что-либо утверждается или отрицается. Высказывание может быть истинно или ложно.
УМОЗАКЛЮЧЕНИЯ
Умозаключения позволяют на основе суждений (высказываний), получить заключение, то есть новые знания.
Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (заключение)
Посылками умозаключения могут быть только истинные суждения

Для любознательных:
“История Нового года”
Три друга обсуждали историю Нового года и каждый сказал следующее:
Празднование Нового года с 1 января установили во Франции в 45 году до Рождества Христова (Юлием Цезарем).
Празднование Нового года с 1 января установили римляне в 1659 году указом Карла IX.
Празднование Нового года с 1 января установили во II веке и не французы.
Оказавшийся рядом знаток истории сказал, что каждый из них прав только в одном из двух высказанных предложений.
Где и в какое время было установлено празднование Нового года с 1 января?

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

А	В	А & В	А v В	A=>B	A<=>B
0	0	0	0	1	1
0	1	0	1	1	0
1	0	0	1	0	0
1	1	1	1	1	1