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


Внутренний диалог как проявление смыслового переживания матери
Диалогический подход как новый тип научного мышления, складывающийся на рубеже XIX—XX вв. в русле гуманитарного знания, обозначается в современной науке как неклассический. Вместо субъект-объектных отношений, что характерно для классического типа рациональности, в исследованиях, выполненных на основе данного подхода, все большее значени ...

Структура конфликта
Конфликт как многомерное явление имеет свою структуру. Структура конфликта понимается как совокупность устойчивых связей конфликта, обеспечивающих его целостность, тождественность самому себе. Основные компоненты структуры конфликта: 1. Участники конфликта. В любом конфликте основными действующими лицами являются люди. Они могут выступ ...

Персональные методы.
Данную группу методов выделил В.П.Пугачев, акцентируя внимание на возможностях руководителя активно противостоять конфликтам, подразумевая под этим следующее: · использование власти, позитивных и негативных санкций, поощрения и наказания непосредственно в отношении участников конфликта; · изменение конфликтной мотивации сотрудников с ...