Студопедия — Кошки | собаки | лемуры?
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Кошки | собаки | лемуры?






(Ответ: 460)


3. Логические функции.

Любое составное высказывание можно рассматривать как логическую функцию F(x1, x2, …xn), аргументами которой являются логические переменные x1, x2, …xn- простые высказывания. Сама функция, и ее аргументы принимают только логические значения.

Для двух переменных существует 16 (24) различных логических функций двух аргументов. Некоторые из них имеют свое название.

Аргументы Функции
А В F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15 F16
                                   
                                   
                                   
                                   
  Ноль Конъюнкция Не импликация А   В Исключающее ИЛИ Дизъюнкция Не Или Стрелка Пирса Эквиваленсия Не В   Не А Импликация Не И Штрих Шеффера Единица

 

Импликация (логическое следование).

Обозначение:

Ø в естественном языке соответствует обороту если …, то …;

Ø в алгебре высказываний обозначение Þ;

Ø в языках программирования обозначение Imp.

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

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

X Y X Þ Y
     
     
     
     

Свойства операции:

A ® B ¹ B ® A

A ® A = 1

A ® 0 =

A ® 1 = 1

0 ® A=1

1 ® A= A

Примеры:

19. Если сегодня четверг, то 2*2=5 (кроме четверга - истина)

20. Отец сказал сыну: «Если я получу премию, то куплю тебе велосипед».

21. Если белые медведи живут в Африке, то 2*2=5

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

23. Для того, чтобы треугольники были равны, необходимо, чтобы они были подобны.

24. Для того, чтобы были лужи, достаточно, чтобы пошел дождь. (Обратное неверно, потому что лужи могут возникнуть из за водопроводной аварии)







Дата добавления: 2014-10-22; просмотров: 1000. Нарушение авторских прав; Мы поможем в написании вашей работы!



Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

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

ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...

Травматическая окклюзия и ее клинические признаки При пародонтите и парадонтозе резистентность тканей пародонта падает...

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

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

Различие эмпиризма и рационализма Родоначальником эмпиризма стал английский философ Ф. Бэкон. Основной тезис эмпиризма гласит: в разуме нет ничего такого...

Индекс гингивита (PMA) (Schour, Massler, 1948) Для оценки тяжести гингивита (а в последующем и ре­гистрации динамики процесса) используют папиллярно-маргинально-альвеолярный индекс (РМА)...

Методика исследования периферических лимфатических узлов. Исследование периферических лимфатических узлов производится с помощью осмотра и пальпации...

Studopedia.info - Студопедия - 2014-2024 год . (0.029 сек.) русская версия | украинская версия