Студопедия Главная Случайная страница Обратная связь

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

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





(Ответ: 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; просмотров: 1018. Нарушение авторских прав; Мы поможем в написании вашей работы!




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


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


Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...


Логические цифровые микросхемы Более сложные элементы цифровой схемотехники (триггеры, мультиплексоры, декодеры и т.д.) не имеют...

Тема 5. Анализ количественного и качественного состава персонала Персонал является одним из важнейших факторов в организации. Его состояние и эффективное использование прямо влияет на конечные результаты хозяйственной деятельности организации.

Билет №7 (1 вопрос) Язык как средство общения и форма существования национальной культуры. Русский литературный язык как нормированная и обработанная форма общенародного языка Важнейшая функция языка - коммуникативная функция, т.е. функция общения Язык представлен в двух своих разновидностях...

Патристика и схоластика как этап в средневековой философии Основной задачей теологии является толкование Священного писания, доказательство существования Бога и формулировка догматов Церкви...

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

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

Медицинская документация родильного дома Учетные формы родильного дома № 111/у Индивидуальная карта беременной и родильницы № 113/у Обменная карта родильного дома...

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