Логика Логика – это наука о формах и способах мышления Подготовила учитель информатики МОУ СОШ 2 ст. Выселки Краснодарского края Лабужская Н. Д. Учебник Н. Угринович

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

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

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

Логическое умножение (конъюнкция) Составное высказывание истинно тогда и только тогда, когда истинны все входящие в него высказывания АВF=A&B

Логическое сложение (дизъюнкция) Составное высказывание истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний АВА В

Логическое отрицание(инверсия) Делает истинное высказывание ложным и, наоборот, ложное - истинным АF=А 01 10

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

Алгоритм построение таблиц истинности 1. Необходимо определить количество строк в таблице. Оно равно количеству возможных комбинаций значений логических переменных, входящих в логическое выражение. Если количество логических переменных n, то строк 2 n 2. Необходимо определить количество столбцов, которое равно количеству логических переменных плюс количество логических операций. 3. Построить таблицу истинности, обозначить столбцы и внести возможные наборы значений исходных логических переменных. 4. Заполнить по столбцам

Выполнить задание Построить таблицу истинности для логического высказывания. F=(A v B)&( ¬ A v ¬ B)

Решение ABA v B¬A¬A¬ B¬ A v ¬ B(A v B )&(¬ A v ¬ B)

Задание Записать составное высказывание (2*2=4 и 3*3=9) или (2*2=4 и 3*3=9) в форме логического выражения. Построить таблицу истинности.

Задание Доказать, используя таблицы истинности, что логические выражения А В и А&В равносильны

Вопросы для контроля: Какие существуют основные формы мышления? В чем состоит разница между содержанием и объемом понятия? Может ли быть высказывание выражено в форме вопросительного предложения? Как определяется истинность или ложность простого высказывания? Составного высказывания?

Что содержит таблица истинности и каков порядок их построения? Какие логические функции называются равносильными?

Домашнее задание Учебник Н. Угринович стр Упражнение 3.4. стр. 136