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

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

ЛОГИЧЕСКИЕ ОПЕРАЦИИ





Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.

 

Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что …».

Обозначение инверсии: НЕ А; ; ; NOT A.

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

 

А
   
   

 

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

Примечания:

1. Логики при образовании инверсии предпочитают иметь дело с оборотом речи «неверно, что», поскольку тем самым подчеркивается отрицание всего высказывания.

2. Дважды или четырежды отрицающееся высказывание имеет то же самое значение истинности, что и исходное высказывание, трижды отрицающееся – что и отрицающееся один раз.

 

Логическое умножение (конъюнкция) образуется соединением двух высказываний в одно с помощью союза «и».

Обозначение конъюнкции: А И В; ; А & B; ; A AND B.

 

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

А В
     
     
     
     

 

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

 

Логическое сложение (дизъюнкция) образуется соединением двух высказываний в одно с помощью союза «или».

Обозначение дизъюнкции: А ИЛИ В; A OR B; А | B; ; А + В.

 

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

А В
     
     
     
     

 

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

 

Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …».

Обозначения импликации: . Говорят: если А, то В; А влечет В; В следует из А.

 

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

А В
     
     
     
     

 

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

 

Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно при помощи оборота речи «… тогда и только тогда, когда …».

Обозначение эквивалентности: .

 

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

А В А~В
     
     
     
     

 

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

 

Рассмотренные свойства логических операций можно представить в следующем виде:

 

Инверсия истинна Тогда и только тогда, когда высказывание ложно
Дизъюнкция ложна Конъюнкция истинна оба высказывания
Дизъюнкция истинна Конъюнкция ложна хотя бы одно высказывание
Импликация ложна из истинного высказывания следует ложное высказывание
Эквивалентность истинна оба высказывания ложны или оба высказывания истинны

 







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




Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...


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


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


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

Ведение учета результатов боевой подготовки в роте и во взводе Содержание журнала учета боевой подготовки во взводе. Учет результатов боевой подготовки - есть отражение количественных и качественных показателей выполнения планов подготовки соединений...

Сравнительно-исторический метод в языкознании сравнительно-исторический метод в языкознании является одним из основных и представляет собой совокупность приёмов...

Концептуальные модели труда учителя В отечественной литературе существует несколько подходов к пониманию профессиональной деятельности учителя, которые, дополняя друг друга, расширяют психологическое представление об эффективности профессионального труда учителя...

Типы конфликтных личностей (Дж. Скотт) Дж. Г. Скотт опирается на типологию Р. М. Брансом, но дополняет её. Они убеждены в своей абсолютной правоте и хотят, чтобы...

Гносеологический оптимизм, скептицизм, агностицизм.разновидности агностицизма Позицию Агностицизм защищает и критический реализм. Один из главных представителей этого направления...

Функциональные обязанности медсестры отделения реанимации · Медсестра отделения реанимации обязана осуществлять лечебно-профилактический и гигиенический уход за пациентами...

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