В случае симметричности отношения утвердительное реляционное суждение превращается в отрицательное (с двойным отрицанием). Например: «В. Маяковский – современник М. Горького» – «В. Маяковский не может быть не современником М. Горького».
В случае несимметричности отношения утвердительное суждение становится отрицательным с заменой отношения на обратное. Например: «М. Горький родился раньше Л. Леонова» – «М. Горький родился (во всяком случае) не позже Л. Леонова».
Преобразование сложных суждений:
а) конъюнкция может быть выражена через дизъюнкцию: отрицание конъюнкции эквивалентно дизъюнкции отрицаний.
Формула преобразования: 
(А 
В) 
А 
В.
Например: «Неверно, что Петров адвокат и в то же время судья». Это равнозначно суждению «Петров не адвокат или он не судья». Дизъюнкция здесь не исключающая. Поэтому может быть так, что Петров и не адвокат, и не судья (а, например, прокурор).
б) дизъюнкция может быть выражена через конъюнкцию: отрицание дизъюнкции эквивалентно конъюнкции отрицаний.
Формула: (А В) А В.
Например: «Неверно, что Петров изучал логику в вузе или что он изучал ее самостоятельно». Это равносильно суждению: «Петров не изучал логики в вузе, и он не изучал ее самостоятельно».
в) импликация может быть выражена через конъюнкцию: импликация эквивалентна отрицанию конъюнкции антецедента (основания) и ложного консеквента (следствия).
Формула: А 
В (А В)
Пример: «Если Петров юрист, то он знает логику». Это равносильно суждению: «Неверно, что Петров юрист и он не знает логики.
г) импликация может быть выражена через дизъюнкцию: импликация эквивалентна дизъюнкции ложного антецедента и консеквента. Формула: А В А В.
Пример: «Если Петров адвокат, то он имеет специальное юридическое образование» – «Или Петров не адвокат, или он имеет специальное юридическое образование.
Конъюнкция и дизъюнкция, в свою очередь, могут быть выражены через импликацию.
Возможны и иные преобразования сложных суждений, меняющие их логическую форму, логический союз, но сохраняющие смысл самого суждения.
Дата добавления: 2015-09-06; просмотров: 111 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Преобразование простых атрибутивных суждений. | | | Отрицание простых суждений. |