Преобразование простых реляционных суждений.
Обращение.
Если отношение симметрично, обращение реляционного суждения сводится к простой перестановке местами членов отношения x и y. Например: «М. Горький – современник В. Маяковского» – «В. Маяковский – современник М. Горького».
Если отношение несимметрично, то кроме перестановки x и y необходима замена отношения R на обратное. Например: «Рязань восточнее Москвы» – «Москва западнее Рязани».
Превращение.
В случае симметричности отношения утвердительное реляционное суждение превращается в отрицательное (с двойным отрицанием). Например: «В. Маяковский – современник М. Горького» – «В. Маяковский не может быть не современником М. Горького».
В случае несимметричности отношения утвердительное суждение становится отрицательным с заменой отношения на обратное. Например: «М. Горький родился раньше Л. Леонова» – «М. Горький родился (во всяком случае) не позже Л. Леонова».
Преобразование сложных суждений:
а) конъюнкция может быть выражена через дизъюнкцию: отрицание конъюнкции эквивалентно дизъюнкции отрицаний.
Формула преобразования: 
(А 
В) 
А 
В.
Например: «Неверно, что Петров адвокат и в то же время судья». Это равнозначно суждению «Петров не адвокат или он не судья». Дизъюнкция здесь не исключающая. Поэтому может быть так, что Петров и не адвокат, и не судья (а, например, прокурор).
б) дизъюнкция может быть выражена через конъюнкцию: отрицание дизъюнкции эквивалентно конъюнкции отрицаний.
|
|
|
Формула: (А В) А В.
Например: «Неверно, что Петров изучал логику в вузе или что он изучал ее самостоятельно». Это равносильно суждению: «Петров не изучал логики в вузе, и он не изучал ее самостоятельно».
в) импликация может быть выражена через конъюнкцию: импликация эквивалентна отрицанию конъюнкции антецедента (основания) и ложного консеквента (следствия).
Формула: А 
В (А В)
Пример: «Если Петров юрист, то он знает логику». Это равносильно суждению: «Неверно, что Петров юрист и он не знает логики.
г) импликация может быть выражена через дизъюнкцию: импликация эквивалентна дизъюнкции ложного антецедента и консеквента. Формула: А В А В.
Пример: «Если Петров адвокат, то он имеет специальное юридическое образование» – «Или Петров не адвокат, или он имеет специальное юридическое образование.
Конъюнкция и дизъюнкция, в свою очередь, могут быть выражены через импликацию.
Возможны и иные преобразования сложных суждений, меняющие их логическую форму, логический союз, но сохраняющие смысл самого суждения.
Отрицание суждений
Если в процессе преобразования суждений меняется их логическая форма, но сохраняется смысл, то отрицание предполагает изменение не только формы, но и смысла суждения (замена его на несовместимый с исходным смыслом).
|
|
|
Отрицание простых суждений.
Отрицание простых атрибутивных суждений – замена исходного суждения другим, противоречащим ему. Формула: «S есть Р» меняется на «Неверно, что S есть Р» или «S не есть Р».
Не следует отождествлять отрицание суждения с отрицательным суждением. Отрицание суждения – логическая операция с неким исходным суждением (которое само по себе может быть как утвердительным, так и отрицательным). Исходное суждение именуется отрицаемым, а новое – отрицающим.
В отношении взаимного отрицания находятся противоречащие суждения:
– общеутвердительные (А) и частноотрицательные (О);
– общеотрицательные (Е) и частноутвердительные (I).
Если истинно одно из них, то ложно другое, и наоборот.
Общеутвердительные (А) и общеотрицательные (Е) суждения – противоположны, но не находятся в отношении взаимного отрицания: они не могут быть вместе истинными, но могут быть вместе ложными.
Нет отношения взаимного отрицания между субконтрарными суждениями – они могут быть вместе истинными, но не могут быть вместе ложными.
Отрицание простых реляционных суждений – отрицание касается не свойства предмета, а отношения между предметами. Если формула исходного суждения: xRy, то его отрицание: (xRy).
|
|
|
Логическая операция отрицания будет сводится к следующему:
а) квантор общности ( 
) заменяется на квантор существования ( 
), а квантор существования соответственно на квантор общности;
б) перед исходным суждением ставится знак отрицания ( ).
Например: «Мужчина и женщина равны перед законом». Его отрицанием будет суждение «Неверно, что мужчина и женщина равны перед законом» (или «Мужчина и женщина не равны перед законом»).
Отрицание сложных суждений.
Отрицание конъюнкции. Если формула конъюнкции А В, то отрицание конъюнкции может быть записано: (А В).
Например, отрицание суждения: «Все юристы знают логику, и все юристы знают латинский язык» будет означать: «Неверно, что все юристы знают логику, и все юристы знают латинский язык». Но конъюнкция ложна, если ложно хотя бы одно из составляющих ее суждений, поэтому достаточно отрицать одно из них, и отрицание может принять форму дизъюнкции отрицаний (нестрогой). В нашем примере: «Некоторые юристы не знают логику, или некоторые юристы не знают латыни». Символически: (А В) ( А В).
|
|
|
Отрицание дизъюнкции. Отрицанием нестрогой дизъюнкции (А В) будет (А В). Например, отрицая «Применяются нормы морали, или применяются нормы права», имеем «Неверно, что применяются нормы морали или применяются нормы права». Поскольку отрицание дизъюнкции означает отрицание каждого из исходных суждений одновременно, то можно использовать эквивалентную форму конъюнкции отрицаний: «Не применяются нормы морали, и не применяются нормы права». Формула: А В ( А В).
Дата добавления: 2018-04-15; просмотров: 497; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!