Отрицание сложных суждений.

Отрицание конъюнкции. Если формула конъюнкции А В, то отрицание конъюнкции может быть записано: (А В).

Например, отрицание суждения: «Все юристы знают логику, и все юристы знают латинский язык» будет означать: «Неверно, что все юристы знают логику, и все юристы знают латинский язык». Но конъюнкция ложна, если ложно хотя бы одно из составляющих ее суждений, поэтому достаточно отрицать одно из них, и отрицание может принять форму дизъюнкции отрицаний (нестрогой). В нашем примере: «Некоторые юристы не знают логику, или некоторые юристы не знают латыни». Символически: (А В) ( А В).

Отрицание дизъюнкции. Отрицанием нестрогой дизъюнкции (А В) будет (А В). Например, отрицая «Применяются нормы морали, или применяются нормы права», имеем «Неверно, что применяются нормы морали или применяются нормы права». Поскольку отрицание дизъюнкции означает отрицание каждого из исходных суждений одновременно, то можно использовать эквивалентную форму конъюнкции отрицаний: «Не применяются нормы морали, и не применяются нормы права». Формула: А В ( А В).

Дата добавления: 2015-09-06