Презентация на тему: Основы логики

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

Как человек мыслит? Основоположник формальной логики – Аристотель, который впервые отделил логические формы мышления от его содержания.

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

Алгебра логики – отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказываний. Логическая переменная – простое высказывание, содержащее одну мысль. Обозначается латинскими буквами. Значением логической переменной могут быть только константы «истина» (1) или «ложь» (0). Логическая функция – составное высказывание F(А,В,С…), т.е. простые высказывания, соединённые с помощью логических операций. Логические операции – логические действия (конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность)

Элементы математической логики

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

Дополнительные логические операции

Таблицы истинности n – число переменных k – число логических операций i – число строк j – число столбцов i=2ⁿ+1 j=n+k Пример: F= В V С & Ā n=3 k=3 i=2³+1=9 j=3+3=6