Презентация, доклад по информатике Алгебра логики (9 класс)

которых знал, какая дорога ведет к озеру. На вопросы они отвечали только «да» или «нет». Один из них всегда говорил правду, другой всегда лгал. Все это знал турист, но не знал, какая из двух дорог ведет к озеру.

Турист задал один вопрос одному из парней и узнал какая дорога ведет к озеру. Какой вопрос мог задать турист парню?

Турист задал два вопроса одному из парней и узнал какая дорога ведет к озеру. Какие вопросы мог задать турист парню?

человеческого мышления.

Формальная логика – это наука, пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила мышления.

алгебру или Алгебру высказываний).

Вильгельм Лейбниц (1646-1716). Основоположник математической логики (пытался построить первые логические исчисления: арифметические и буквенно-алгебраические).

правильные, а какие нет.

Задача логики – описать и исследовать те способы рассуждений, которые являются правильными.

мышления, фиксирующая основные, существенные признаки объекта.
В структуре каждого понятия различают две стороны: содержание и объем.
Содержание понятия составляет совокупность существенных признаков объекта.
Чтобы раскрыть содержание понятия, следует выделить признаки, необходимые и достаточные для выделения данного предмета по отношению к другим предметам.
Объем понятия определяется совокупностью предметов, на которую оно распространяется, и может быть представлено в форме множества объектов, состоящего из элементов множества.

Понятие.

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

Истинное суждение=1, ложное=0

Каждое высказывание состоит из трех элементов - субъекта, предиката и связки (двух терминов и связки).

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

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

столица.

Побудительные и вопросительные предложения высказываниями не являются.
Без стука не входить!
Откройте учебники.
Ты выучил стихотворение?

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

Но не всякое повествовательное предложение является высказыванием:
Это высказывание ложное.

лента?
Прослушайте информацию.
Делайте утреннюю зарядку!
Назовите устройства вывода информации.
Кто сегодня отсутствует?
Париж- столица Канады.
Число 11 является составным.
4+5=9
Сложите числа 2 и 5.
Некоторые медведи живут на севере.
Все медведи белые.
Чему равно расстояние от Москвы до Ленинграда.

7-2=5
Луна-спутник Земли.

ОБЩИЕ суждения характеризуют свойства групп объектов или явлений.
Пример: Всякий человек – млекопитающее.
В любом прямоугольном треугольнике есть угол в 900.

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

никакая его часть сама не является высказыванием.
Пример: Завтра пойдет дождь. Я буду смотреть дома телевизор.

Сложные (составные) высказывания строятся из простых с помощью логических операций.
Пример: Если завтра пойдет дождь, то я буду смотреть дома телевизор.

сторонам другого треугольника, то такие треугольники равны.

Луна – спутник земли.

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

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

Число 456 трехзначное и четное.
Неверно, что Солнце движется вокруг Земли.
Число делится на 9 тогда и только тогда, когда сумма его цифр делится на 9.
Луна – спутник Земли.
На уроке химии ученики выполняли лабораторную работу, и результаты исследований записывали в тетрадь.
Если число оканчивается на 0, то оно делится на 10.
Чтобы погода была солнечной, достаточно, чтобы не было ни ветра, ни дождя.
Если у меня будет свободное время и не будет дождя, тоя не буду писать сочинения, а пойду на дискотеку.
Без Вас хочу сказать Вам много При Вас я слушать Вас хочу.
Если человек с детства и юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны.

был готов сегодня к урокам.
Неверно, что число 3 не является делителем числа 198.
Некоторые млекопитающие не живут на суше.
Неверно, что число 17 – простое

нескольких суждений (посылок) может быть получено новое суждение (заключение).

Примеры:
Если король под шахом и ему некуда ходить, то – мат.
Если идет дождь, то необходимо открыть зонтик.

Умозаключение

Задания:

В следующих умозаключениях выделите посылки и заключения. Определите, истинны они или нет:
Произведение двух чисел равно 0, если хотя бы один из сомножителей равен 0.
Если А*В=0, то А>0 и В>0.

алгебре логики высказывания обозначают буквами и называют логическими переменными.
Если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно - нулём (В = 0).
0 и 1 называются логическими значениями.

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

не превосходит единицы.
Пейте томатный сок!
Эта тема скучна.


Приведите примеры истинных и ложных высказываний из биологии, истории, литературы.

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

Число 376 четное и трехзначное.
Зимой дети катаются на коньках или на санках или на лыжах.
Неверно, что Солнце движется вокруг Земли.

двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
Обозначения:  , , &, И.

Таблица истинности:

Графическое представление

A

B

А&В

ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.
Обозначения: V, |, ИЛИ, +.

Таблица истинности:

Графическое представление

A

B

АVВ

в соответствие новое высказывание, значение которого противоположно исходному.
Обозначения: НЕ, ¬ , ¯ .

Таблица истинности:

Графическое представление

A

Ā

каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.
Обозначения: или -> .

Таблица истинности:

каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.
Обозначения: , ~ .

Таблица истинности:

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

А = {Принтер – устройство вывода информации},
В = {Процессор – устройство хранения информации},
С = {Монитор – устройство вывода информации},
D = {Клавиатура – устройство обработки информации}.
 
Сначала на основании знания устройства компьютера устанавливаем истинность простых высказываний:
А = 1, В = 0, С = 1, D = 0.

Определим теперь истинность составного высказывания, используя таблицы истинности логических операций:

( 1 & 0 ) &(1 \/ 0) = (0 & 1) & (1 \/ 0) = 0

Составное высказывание ложно.

{Процессор – устройство обработки информации},
С = {Монитор – устройство хранения информации},
D = {Клавиатура – устройство ввода информации}.
 
Определите истинность составных высказываний:

а) (А & В) & (C v D);

б) (А & В) => (C v D);

в) (А v В)   (C & D);

г) А  B .

(1 \/ 0);
        б) ((1 \/ 0) \/ 1) \/ 1;
        в) (0&1)&1;
        г) 1&(1&1)&1;
        д) ((1 \/ 0)&(1&1))&(0 \/ 1);
        е) ((1&1) \/ 0)&(0 \/ 1); .
       ж) ((1&0) \/ (1&0)) \/ 1;
       з) ((0&0) \/ 0)&(1 \/ 1)
      

на обычном языке.

А&В АvB (А&В)

А&В АvB (АvB)

А&В АvB (А&В)

выражении

подсчитать общее число логических операций в выражении

установить последовательность выполнения логических операций

определить число столбцов в таблице

заполнить шапку таблицы, включив в неё переменные и операции

определить число строк в таблице без шапки: m =2n

выписать наборы входных переменных

провести заполнение таблицы по столбцам, выполняя логические
операции в соответствии с установленной последовательностью

строк без шапки)= 22 = 4.
Операций – 2, значит количество столбцов будет: n+2=4
Приоритет операций: &, V

Пример построения
таблицы истинности

)

построить таблицу истинности.
Количество логических переменных 3, следовательно, количество строк в таблице истинности должно быть 23 = 8.
Количество логических операций в формуле 5, следовательно количество столбцов в таблице истинности должно быть 3 + 5 = 8.

V В)
А & В & С
F=(AVB) & (AVB)

Постройте таблицы истинности:
А) (А В) V В
В) (А & В) (А V (А & В))
С) (А (В С)) (А & В & С)