Студопедия — Логические функции и их представление.
Студопедия Главная Случайная страница Обратная связь

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

Логические функции и их представление.






Логическая операция, языковая конструкция Арность Определение Обозна-чение Диаграмма Эйлера-Венна Таблица истинности (значение операции)
Инверсия (отрицание), НЕ Унарная Отрицание - новое высказывание, которое является истинным, если высказывание А ложно, и ложным, если высказывание А истинно , ,
   
   

 

Конъюнкция (логическое умножение, пересечение), И Бинарные Конъюнкция - новое высказывание, которое считается истинным, если оба высказывания А и В истинны, и ложным, если хотя бы одно из них ложно , , , ,
     
     
     
     

 

Дизъюнкция (логическое сложение, объединение), ИЛИ Дизъюнкция - новое высказывание, которое считается истинным, если хотя бы одно из высказываний А или В истинно и ложным, если они оба ложны , , ,
     
     
     
     

 

Исключающее или (сложение по модулю два, строгая дизъюнкция), ИЛИ Строгая дизъюнкция - новое высказывание, которое считается истинным только тогда, когда только одно из высказываний истинно, а ложным тогда, оба высказывания истинны или оба ложны , , ,  
     
     
     
     

 

Импликация (следование), ЕСЛИ …, ТО… Импликация - новое высказывание, которое считается ложным, если А истинно, а В ложно, и истинным во всех остальных случаях. А называется посылкой (условием), В – заключение (следствие) ,
     
     
     
     

 

Эквиваленция (эквивалентность), …ТОГДА И ТОЛЬКО ТОГДА, КОГДА … Эквиваленция - новое высказывание, которое считается истинным, если оба высказывания А и В либо одновременно ложны, либо одновременно истинны, и ложным во всех остальных случаях , , ,
     
     
     
     

 







Дата добавления: 2015-09-04; просмотров: 373. Нарушение авторских прав; Мы поможем в написании вашей работы!



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

Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...

Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Трамадол (Маброн, Плазадол, Трамал, Трамалин) Групповая принадлежность · Наркотический анальгетик со смешанным механизмом действия, агонист опиоидных рецепторов...

Мелоксикам (Мовалис) Групповая принадлежность · Нестероидное противовоспалительное средство, преимущественно селективный обратимый ингибитор циклооксигеназы (ЦОГ-2)...

Менадиона натрия бисульфит (Викасол) Групповая принадлежность •Синтетический аналог витамина K, жирорастворимый, коагулянт...

Правила наложения мягкой бинтовой повязки 1. Во время наложения повязки больному (раненому) следует придать удобное положение: он должен удобно сидеть или лежать...

ТЕХНИКА ПОСЕВА, МЕТОДЫ ВЫДЕЛЕНИЯ ЧИСТЫХ КУЛЬТУР И КУЛЬТУРАЛЬНЫЕ СВОЙСТВА МИКРООРГАНИЗМОВ. ОПРЕДЕЛЕНИЕ КОЛИЧЕСТВА БАКТЕРИЙ Цель занятия. Освоить технику посева микроорганизмов на плотные и жидкие питательные среды и методы выделения чис­тых бактериальных культур. Ознакомить студентов с основными культуральными характеристиками микроорганизмов и методами определения...

САНИТАРНО-МИКРОБИОЛОГИЧЕСКОЕ ИССЛЕДОВАНИЕ ВОДЫ, ВОЗДУХА И ПОЧВЫ Цель занятия.Ознакомить студентов с основными методами и показателями...

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