Основные эквивалентности
Страница 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 


Критерии выбора профессии инженер-проектировщик аэродромов
Данную профессии выбирают если выпускник строительного вуза хочет работать не на строительной площадке, а в офисе, он, как правило, становится инженером-проектировщиком. Наиболее востребованы на сегодняшний день проектировщики объектов промышленно-гражданского строительства (ПГС), то есть зданий и сооружений. Для проектировщика с диплом ...

Игра «Маленький зверёк»
Цель: дать возможность взрослым почувствовать, как с помощью игровых приёмов можно осуществлять мышечный контроль. Содержание: Тренер просит участников закрыть глаза, после чего тихим спокойным голосом произносит текст: «Положите, пожалуйста, руки на колени, соединив ладони вместе. Представьте, что вы держите в руках маленького пушисто ...

«Морские волны»
Цель: научить детей переключать внимание с одного вида деятельности на другой, способствовать снижению мышечного напряжения. Если взрослый даёт команду «Штиль!», все дети в классе «замирают». Когда раздаётся команда «Волны», дети по очереди встают за своими партами. Сначала встают те дети, которые сидят за первыми партами. Через 2-3 се ...