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

Логическое тождество (эквивалентность).

Требования к выполнению самостоятельной работы | Понятие множества | Определение 3 (декартово произведение) | Примеры решения задач на множества | Графы и деревья | Задания для самостоятельного решения | Основы алгебры логики | Решение | Решение | Решение |


Читайте также:
  1. III. ГЕОЛОГИЧЕСКОЕ ЗАДАНИЕ
  2. III. ГЕОЛОГИЧЕСКОЕ ЗАДАНИЕ
  3. Алешина Ю.Е. Индивидуальное и семейное психологическое консультирование. - Изд. 2-е. - М., 1999. - 208 с
  4. Алешина Ю.Е. Индивидуальное и семейное психологическое консультирование. - Изд. 2-е. - М., 1999. - 208 с
  5. Алешина Ю.Е. Индивидуальное и семейное психологическое консультирование. - Изд. 2-е. - М., 1999. - 208 с
  6. АРИФМЕТИЧЕСКО-ЛОГИЧЕСКОЕ УСТРОЙСТВО (АЛУ)
  7. Б) патологическое состояние тканей органа или части тела обусловленное гипоксией, возникшей вследствие длительного нарушения притока крови

Интуитивно можно догадаться, что высказывания эквивалентны (равносильными), когда их значения истинности одинаковы. Например, эквивалентны высказывания: "железо тяжелое" и "пух легкий", так же как и высказывания: "железо легкое" и "пух тяжелый". Обозначим эквиваленцию символом <=> и запись "А <=> В" будем читать "А эквивалентно В", или "А равносильно В", или "А, если и только если В".

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

Отметим, что высказывание типа "А, если и только если В" можно заменить высказыванием "Если А, то В и, если В, то А". Следовательно, функцию эквиваленции можно выразить через отрицание, дизъюнкцию и конъюнкцию:

A «B = (А Ú B) Ù (B Ú А)  

Приведем примеры записи сложных высказываний с помощью обозначения логических связок:

"Быть иль не быть - вот в чем вопрос." (В. Шекспир) А V A <=> В

"Если хочешь быть красивым, поступи в гусары." (К. Прутков) А => В

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

 

 

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

A B A Ú B A Ù B A
         
         
         
         

 

Таблица 4. Приоритет выполнения логических операций

Приоритет операции Логическая операция
Первый (высший) Логическое отрицание
Второй Конъюнкция (логическое умножение)
Третий Дизъюнкция (логическое сложение)
Четвертый Импликация (следование)
Пятый (низший) Эквивалентность (равносильность)

Дата добавления: 2015-08-27; просмотров: 96 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Логическое отрицание (инверсия)| Решение

mybiblioteka.su - 2015-2024 год. (0.005 сек.)