Аксиомы логики. ИНВЕРСИЯ Обозначение: Ā, not A. Пример: А - Дождя не будет Ā - Неверно, что дождя не будет Таблица истинности Логическое отрицание 1)

Презентация:



Advertisements
Похожие презентации
Логика высказываний КОНСПЕКТ ЗАНЯТИЯ Основные понятия - Логика - это наука о законах и операциях правильного мышления. - Логика высказываний - определенная.
Advertisements

Основные логические операции. Логическое отрицание ИНВЕРСИЯ П Е Р Е В О Р А Ч И В А Н И Е Образуется из высказывания с помощью добавления частицы не к.
Таблицы истинности Употребляемые в обычной речи логические связки в алгебре логики называются логическими операциями. Логические операции описываются.
Логические функции (логические операции, логические союзы) Инверсия (логическое отрицание) НЕ ( A ) Дизъюнкция (логическое сложение) ИЛИ ( А ; В ) Конъюнкция.
Алгебра высказываний Тема урока. Алгебра высказываний (алгебра логики) - это математический аппарат, с помощью которого записывают, вычисляют и преобразовывают.
Алгебра в широком смысле этого слова – наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над различными математическими.
Основы алгебры логики Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывание повествовательное.
Алгебра логики Информатика 9 класс. ИНВЕРСИЯ Логическое отрицание -ИНВЕРСИЯ Образуется из высказывания с помощью добавления частицы «НЕ» к сказуемому.
PREZENTED.RU. Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения.
логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда.
Логические операции над высказыванием. ЛОГИЧЕСКОЕ ОТРИЦАНИЕ (ИНВЕРСИЯ) - образуется из высказывания с помощью добавления частицы «не» к сказуемому или.
Логические операции. Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания.
Презентация к уроку по информатике и икт по теме: Логические операции (презентация)
Формы мышления. Алгебра высказываний. Логические выражения и таблицы истинности.
Тематический блок «Основы логики». Типы заданий Обозначение задания в работе Проверяемые элементы содержания Уровень сложности задания А3Умения строить.
Алгебра в широком смысле этого слова – наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над различными математическими.
Логические выражения могут быть простыми и сложными. Простое логическое выражение состоит из одного высказывания и не содержит логической операции. В.
Основы ЛОГИКИ Шатохина Екатерина ПИБ-31. Содержание Карта основных понятий ЛОГИКИ Основные понятия ЛОГИКИ Логические операции: Конъюнкция Дизъюнкция Строгая.
1 АЛГЕБРА АЛГЕБРА ВЫСКАЗЫВАНИЙ АЛГЕБРА2 В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные (заглавные.
Высказывание (суждение) – это последовательное предложение, в котором что-либо утверждается или отрицается.
Транксрипт:

Аксиомы логики

ИНВЕРСИЯ Обозначение: Ā, not A. Пример: А - Дождя не будет Ā - Неверно, что дождя не будет Таблица истинности Логическое отрицание 1) 1) НЕ 2) НЕВЕРНО, ЧТО

КОНЪЮНКЦИЯ Обозначения: &, and,,. Пример: А - Дождя не будет. В - Небо голубое. А&В - Дождя не будет и небо голубое. Таблица истинности: Логическое умножение И

ДИЗЪЮНКЦИЯ Обозначения: OR, V, + Пример: А - Дождя не будет. В - Небо голубое. А V В - Дождя не будет или небо голубое. Таблица истинности: Логическое сложение ИЛИ

Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

ИМПЛИКАЦИЯ Обозначения: Пример: А - Дождя не будет. В - Небо голубое. А В - Если дождя не будет, то небо голубое. Таблица истинности: Условная связь ЕСЛИ, ТО

ЭКВИВАЛЕНТНОСТЬ Обозначения: Пример: А - Дождя не будет. В - Небо голубое. А В - Дождя не будет тогда и только тогда, когда небо голубое. Таблица истинности: 1)Если и только если 2) Тогда и только тогда, когда

Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

Пример. Составьте таблицу истинности X = (A V B ) ( A V C) ABC A VB( A VC)X

Пример. Составьте таблицу истинности X = (A V B ) ( A V C) ABC A VB( A VC)X

Пример. Составьте таблицу истинности X = (A V B ) ( A V C) ABC A VB( A VC)X

Пример. Составьте таблицу истинности X = (A B ) &( A V C) ABC

Домашнее задание Составьте таблицу истинности X = (A С ) V( A V C) & B