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

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

Действия над высказываниями





Высказывание является первичным понятием математической логики, которое не имеет строгого определения. Высказывание – это всякое повествовательное предложение, которое либо истинное, либо ложное (но только одно). Высказывания обозначаются заглавными латинскими буквами. Логическими значениями высказываний являются «истина» и «ложь», обозначаемые «1» и «0». Определим в множестве всех высказываний логические операции.

Отрицанием высказывания называется новое высказывание , которое истинно, если – ложно, и ложно, если – истинно. Таблица истинности отрицания имеет вид:

   
   

Дизъюнкцией (логическим максимумом) двух высказываний и называется новое высказывание , которое ложно в том и только в том случае, когда оба высказывания ложны. Таблица истинности дизъюнкции имеет вид:

     
     
     
     

Конъюнкцией (логическим минимумом) двух высказываний и называется новое высказывание , которое истинно в том и только в том случае, когда оба высказывания истинны. Таблица истинности конъюнкции имеет вид:

     
     
     
     

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

оба высказывания истинны. Таблица истинности конъюнкции имеет вид:

     
     
     
     

Эквиваленцией (логической эквивалентностью) двух высказываний и называется новое высказывание , которое истинно в том и только в том случае, когда оба высказывания и имеют одинаковые логические значения Таблица истинности эквиваленции имеет вид:

     
     
     
     

 







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




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


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


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


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

Различия в философии античности, средневековья и Возрождения ♦Венцом античной философии было: Единое Благо, Мировой Ум, Мировая Душа, Космос...

Характерные черты немецкой классической философии 1. Особое понимание роли философии в истории человечества, в развитии мировой культуры. Классические немецкие философы полагали, что философия призвана быть критической совестью культуры, «душой» культуры. 2. Исследовались не только человеческая...

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

Йодометрия. Характеристика метода Метод йодометрии основан на ОВ-реакциях, связанных с превращением I2 в ионы I- и обратно...

Броматометрия и бромометрия Броматометрический метод основан на окислении вос­становителей броматом калия в кислой среде...

Метод Фольгарда (роданометрия или тиоцианатометрия) Метод Фольгарда основан на применении в качестве осадителя титрованного раствора, содержащего роданид-ионы SCN...

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