Psyways.ru

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

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) что-либо утверждать или отрицать. В логике высказываний от всей мысли, когда она предстает как высказывание, в поле зрения остается одна лишь ее способность - быть либо истинной, либо ложной. Каждое высказывание обозначают к ...

Теоретические аспекты изучения самооценки детей старшего дошкольного возраста. Основные направления изучения самооценки в трудах отечественных и зарубежных психологов
Проблема самооценки, как одна из центральных проблем психологии личности, изучалась в трудах различных отечественных и зарубежных психологов. Среди них можно выделить следующих авторов: Л.И. Божович, Л.В. Бороздина, Л.С. Выготский, А.В. Захарова, Б.В. Зейгарник, А.Н. Леонтьев, А.И. Липкина, М.И. Лисина, B.C. Мерлин, В.с. Мухина, Е.И. ...

Личность, как социализированный индивид
Социализацией называется процесс усвоения индивидом социального опыта, системы социальных связей и отношений, - такое определение дает психологический словарь и добавляет: "В процессе социализации человек приобретает убеждения, общественно одобряемые формы поведения, необходимые ему для нормальной жизни в обществе". Выготский ...