Основные эквивалентности
Страница 3

Можно проверять эквивалентность и более сложных выражений. Возьмем для примера два таких высказывания с тремя переменными:

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)), которая по-настоящему эквивалентна ему, будучи дизъюнктивной, и читается так: "Или не переходи улицу, или надо оглянуться направо и налево".

Страницы: 1 2 3 


Направление переформирования запроса на оказание психологической помощи
В результате анализа ситуации выяснилось, что психологическая помощь нужна больше маме девочки. Бланк запроса на психологическую помощь (с учетом переоформления запроса) Содержание запроса Ф.И.О. (код) запрашиваемого Контактный телефон (контактное время) Примечания Жалобы мамы, что ее 12-летняя дочь не выполняет поруч ...

Изменение деятельности
Перестройка и развитие самой иллюзорно-компенсаторной деятельности происходят в условиях, резко отличающихся, скажем, от также глубоких изменений структуры личности под воздействием той или иной "неалкогольной" страсти, например скупости, накопительства, тщеславия, чрезмерной заботой о своем здоровье, одержимости какой-либо ид ...

Учение античных врачей
Гиппократ: учение о темпераментах. Школа Гиппократа (ок. 460–377 гг. до н.э.), известная нам по так называемому «Гиппократову сборнику», рассматривала жизнь как изменяющийся процесс. Среди ее объяснительных принципов мы встречаем воздух в роли силы, которая поддерживает неразрывную связь организма с миром, приносит извне разум, а в моз ...