Можно проверять эквивалентность и более сложных выражений. Возьмем для примера два таких высказывания с тремя переменными:
1) "Если переходишь улицу, то сначала оглянись направо и налево"
2) "Или не переходи улицу, или неверно, что надо оглянуться направо и налево"
(p => (q /\ r)) (1); (-p \/ (-(q /\ r)) (2).
Для проверки их эквивалентности надо либо (1) преобразовать в дизъюнктивное выражение по формуле (6), либо, наоборот, преобразовать (2) в импликативное выражение, воспользовавшись формулой (5), и посмотреть, получается из одного выражения другое при преобразовании или нет. Попробуем преобразовать (2). Замена в нем дизъюнкции на импликацию
(-p \/ (-(q /\ r)) = ((=p) => (-(q /\ r));
(-p \/ (-(q /\ r)) = (p => (-(q /\ r));
как видим, приводит к выражению (p => (-(q /\ r)), которое явно отличается от (1) и звучит так: "Если переходишь улицу, то неверно, будто надо оглянуться направо и налево". Именно это предложение является эквивалентным выражению (2). Не надо удивляться его несуразности: оно получено из ложного высказывания. Если бы мы стали преобразовывать выражение (1), то тогда получили бы другую формулу (-p \/ (q /\ r)), которая по-настоящему эквивалентна ему, будучи дизъюнктивной, и читается так: "Или не переходи улицу, или надо оглянуться направо и налево".
Другое по теме:
Характеристика речи
Положение, что языку принадлежит совершенно исключительная роль в развитии познавательных процессов человека, имеет давнюю историю. Вероятно, впервые в наиболее в наиболее ясной форме оно было высказано Гоббсом. Без речи, считал он, ни су ...
Способы нейтрализации манипуляций
Правила нейтрализации манипуляций направлены на то, чтобы помочь человеку не стать объектом манипулирования со стороны безнравственных партнёров.
Противостояние манипулированию требует умения, во – первых, распознавать манипуляции , во – ...
Процедура исследования
Процедура тестирования достаточно проста и позволяет проводить как индивидуальное, так и групповое обследование.
Перед началом тестирования для того, чтобы снизить вероятность искажения результатов, важно установить благожелательную атмо ...
Меню сайта