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


Особенности самореализации личности подростка
Самореализация личности учащегося, как самостоятельное направление педагогических исследованиий, возникло в науке сравнительно недавно. Но вопросы самоактуализации, духовного становления и самостоятельного максимального воплощения эмоционально-интеллектуальных потенций учащимся - это вопросы, уходящие своими корнями глубоко в глубь веко ...

Античная психология после Аристотеля: эпикур, стоики, Александрийский мусей
Центральным звеном научного мировоззрения Эпикура является естествознание. В психологических воззрениях мыслитель продолжает античные материалистические традиции. Отвергая существование нематериальной субстанции, мыслитель считает, что “душа есть тончайшее тело, рассеянное по всему организму. Наиболее оно уподобляется дуновенью, имеющем ...

Упражнение «Инструкция»
Ведущий вызывает из группы одного желающего – водящего. Ему вручается лист с заранее нарисованными фигурами. Задача водящего – в течение одной минуты дать чёткие указания группе, в результате которых у каждого участника должно быть воспроизведено изображение с листа водящего. Затем ведущий просит всех участников поднять листы с выполнен ...