Реферат Курсовая Конспект
Действия над высказываниями - раздел Образование, Методические указания и контрольные работы Высказывание Является Первичным Понятием Математической Логики, Которое Не Им...
|
Высказывание является первичным понятием математической логики, которое не имеет строгого определения. Высказывание – это всякое повествовательное предложение, которое либо истинное, либо ложное (но только одно). Высказывания обозначаются заглавными латинскими буквами. Логическими значениями высказываний являются «истина» и «ложь», обозначаемые «1» и «0». Определим в множестве всех высказываний логические операции.
Отрицанием высказывания называется новое высказывание , которое истинно, если – ложно, и ложно, если – истинно. Таблица истинности отрицания имеет вид:
Дизъюнкцией (логическим максимумом) двух высказываний и называется новое высказывание , которое ложно в том и только в том случае, когда оба высказывания ложны. Таблица истинности дизъюнкции имеет вид:
Конъюнкцией (логическим минимумом) двух высказываний и называется новое высказывание , которое истинно в том и только в том случае, когда оба высказывания истинны. Таблица истинности конъюнкции имеет вид:
Импликацией (логическим следованием) двух высказываний и называется новое высказывание , которое ложно в том и только в том случае, когда – истинно, а – ложно.
оба высказывания истинны. Таблица истинности конъюнкции имеет вид:
Эквиваленцией (логической эквивалентностью) двух высказываний и называется новое высказывание , которое истинно в том и только в том случае, когда оба высказывания и имеют одинаковые логические значения Таблица истинности эквиваленции имеет вид:
– Конец работы –
Эта тема принадлежит разделу:
Кафедра высшей математики...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Действия над высказываниями
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов