Законы логики Смирнов Роман Рябов Михаил Смирнов Роман Рябов Михаил

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

Законы Логики отражают в сознании человека Свойства Связи Отношения ОБЪЕКТОВ ОКРУЖАЮЩЕГО МИРА

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

- Это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо ИСТИННО, либо ЛОЖНО.

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

Высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: 1 - ИСТИНА 0 - ЛОЖЬ

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

АВF = A&B

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

Таблица истинности функций логического сложения: ABF = A \/ B

Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным.

Таблица истинности функций логического отрицания AF = A 01 10