математики в основе число, переменная логики высказывание (логическая переменная)

Сколько различных чисел существует? Сколько различных переменных существует? Какие значения могут принимать логические переменные?

Над числами и переменными мы производим арифметические действия Над переменными алгебраические преобразования Над высказываниями (логическими переменными) мы можем производить …?

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

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

Все рыбы умеют плавать Некоторые медведи – бурые Буква А – гласная

КОНЪЮНКЦИЯ ЛОГИЧЕСКОЕ УМНОЖЕНИЕ ОПРЕДЕЛЯЕТ СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ С ПОМОЩЬЮ СОЮЗА В прямоугольнике противоположные стороны равны и параллельны В прямоугольнике противоположные стороны равны и пересекаются

ABF = A ^ B КОНЪЮНКЦИЯ ЛОГИЧЕСКОЕ УМНОЖЕНИЕ

КОНЪЮНКЦИЯ свойства X & X = X X & Y = Y & X (X & Y) & Z = X & (Y & Z) X & = 0 X & 0 = 0, где 0 – тождественное ложное высказывание; X & 1 = Х, где 1 – тождественно истинное высказывание.

ДИЗЪЮНКЦИЯ ЛОГИЧЕСКОЕ СЛОЖЕНИЕ ОПРЕДЕЛЯЕТ СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ С ПОМОЩЬЮ СОЮЗА Все положительные числа больше отрицательных или больше 0 Все положительные числа больше 1 или больше нуля

ABF = A ν B ДИЗЪЮНКЦИЯ ЛОГИЧЕСКОЕ СЛОЖЕНИЕ

свойства X V Y = Y V X (X V Y) V Z = X V (Y V Z) X V = 1 X V 1 = Х, где 1 – тождественно истинное высказывание. X V X = X ДИЗЪЮНКЦИЯ ЛОГИЧЕСКОЕ СЛОЖЕНИЕ

Основные законы алгебры логики Закон непротиворечия Закон исключенного третьего Законы де Моргана Закон двойного отрицания

Основные законы алгебры логики Закон коммутативности. При операциях логического умножения и логического сложения логические переменные можно менять местами

Основные законы алгебры логики Закон ассоциативности. Если в логическом выражении используется только операция логического умножения или только операция логического сложения, то можно пренебречь скобками или расставить их произвольно.

Основные законы алгебры логики Закон дистрибутивности. За скобки можно выносить как общие множители, так и общие слагаемые.

Основные законы алгебры логики Закон поглощения Закон исключения

Основные законы алгебры логики Справедливы следующие законы:

ОТРИЦАНИЕ (ИНВЕРСИЯ) ОПРЕДЕЛЯЕТ СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ С ПОМОЩЬЮ ЧАСТИЦЫ А А - «На улице идет дождь» ¬А Тогда ¬А - А А - «На улице нет дождя»

A¬ А¬ А ОТРИЦАНИЕ (ИНВЕРСИЯ)

Определите значение логического выражения (0 или 1) : а) ¬А, если А – «число 6 – четное» б) ¬А, если А – «Петр I – не был императором» в) ¬А, если А – «металлы проводят ток» г) ¬А, если А – «Москва – столица России» д) ¬А, если А – «идет второй урок» ОТРИЦАНИЕ (ИНВЕРСИЯ)

РЕШИМ ЗАДАЧИ Марина и Оля старше Светы. Половина класса изучает английский или немецкий язык. В кабинете есть учебники и справочники. Слова в этом предложении начинаются на букву Ч или на букву А. Часть туристов любит чай или молоко. Часть туристов любит чай и остальная часть туристов любит молоко. Синий кубик меньше красного и зеленого кубиков. Х = 3 и Х > 2

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

определите, в каком порядке необходимо вычислять значение логического выражения: ¬ А & ¬ B A & (B & C) (A & B) ν (C & ¬ D) A ν ¬ D ν B A ^ B ^ ¬ A РЕШИМ ЗАДАЧИ