Основные эквивалентностиСтраница 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)), которая по-настоящему эквивалентна ему, будучи дизъюнктивной, и читается так: "Или не переходи улицу, или надо оглянуться направо и налево".
Формирование группы и ее основные характеристики
В литературе имеется несколько моделей формирования группы, и в каждой из них стадии ее жизненного цикла называются по-разному. Например, Джеймс Л. Гибсон, Джон Иванцевич и Джеймс Х. Доннели – младший считают, что в самом развитии каждая группа проходит через стадии: взаимного признания, общения и принятия решений, мотивации и продуктив ...
Социально-психологическая характеристика развития коллектива
Трудовой коллектив можно определить как организованную группу людей, объединенных социально значимой целью и системой непосредственных взаимоотношений в процессе труда. Это определение относиться, прежде всего, к первичному (контактному) коллективу, который создается по организационно - производственному признаку. В первичном коллективе ...
Психологическое заключение по результатам диагностического обследования
(диагноз и прогноз развития)
Диагноз: Дочь хочет большей самостоятельности. Мать этому мешает
Подойти к обсуждению этого вопроса обычно несложно, поскольку за время беседы набирается довольно много высказываний типа “Без меня он ничего не сделает” или “Она этого не понимает”. Эти и подобные им реплики — наглядные свидетельства недоверия родителя к ребенку, низкой ...