Как уже подчеркивалось, в результате отрицания исходного простого суждения образуется хотя и новое, но тоже простое суждение. Что же касается выражения «неверно, что...», то отдельно взятое оно не составляет самостоятельного суждения. В итоге же отрицания исходного сложного суждения получается тоже сложное суждение.
Отрицание конъюнкции. Если формула конъюнкции А∧В, то отрицание конъюнкции может быть записано так: ˥(А∧В). Например, отрицание суждения: «Все юристы знают логику, и все юристы знают латинский язык» будет означать: «Неверно, что все юристы знают логику и все юристы знают латинский язык». Но отрицание может быть выражено и в эквивалентной положительной форме. Вспомним, что конъюнкция ложна, если ложно хотя бы одно из составляющих ее суждений. Следовательно, достаточно отрицать одно из них, чтобы стало возможным отрицание всей конъюнкции. Вот почему отрицание конъюнкции может принять форму дизъюнкции отрицаний (нестрогой). Так, если мы будем отрицать суждение «Все юристы знают логику, и все юристы знают латинский язык», то мы можем получить суждение: «Некоторые юристы не знают логики, или некоторые юристы не знают латыни» (а может быть и то и другое вместе). Символически: ˥(А∧В)≡(˥A∨˥В). Отрицание конъюнкции возможно и в форме импликации.
Отрицание дизъюнкции. Если использовать в качестве примера нестрогую дизъюнкцию (A∨B), то ее отрицанием будет ˥(A∨B). Например, отрицая суждение: «Применяются нормы морали, или применяются нормы права», будем иметь: «Неверно, что применяются нормы морали или применяются нормы права». Но поскольку отрицание дизъюнкции означает отрицание каждого из исходных суждений одновременно, то этим можно объяснить, почему оно может облечься в эквивалентную форму конъюнкции отрицаний. Например: отрицание суждения: «Применяются нормы морали, или применяются нормы права» означает то же самое, что «Не применяются нормы морали, и не применяются нормы права». Записывается: ˥A∨B≡(˥A∧˥B).
Отрицание импликации. В результате отрицания импликации можно получить конъюнктивное суждение. Например: «Если закон вступил в силу, то он должен исполняться» — «Закон вступил в силу, но он не исполняется». Запись: (А→В)≡(А∧˥B).
Знание смысла отрицания как простого, так и сложного суждения имеет принципиальное значение для понимания сущности формально-логических законов противоречия и исключенного третьего, а также логических основ косвенного доказательства (см. об этом разделы IV и VI).
Отрицание как логическая операция тоже часто применяется в практике мышления. Оно незаменимо, например, в полемике, когда в противовес одним суждениям высказываются другие, противоречащие им, когда сталкиваются взаимоисключающие мнения.
Чтобы правильно пользоваться этой логической операцией, необходимо знать не только условия и пределы ее приложимости, но и логический смысл отрицаемого суждения. Как, например, опровергнуть высказывание: «Суд состоится завтра»? Ведь уже подчеркивалось, что в зависимости от логического ударения в нем могут содержаться три суждения. А это означает, что и отрицание его может принять три различные формы: «Не суд (а совещание судей) состоится завтра»; «Суд не состоится (а будет отложен) завтра»; «Суд состоится не завтра (а послезавтра)». Аналогично обстоит дело и с отрицанием сложных суждений.
В заключении главы отметим, что между основными логическими операциями — преобразованием суждений и отрицанием их — нет жесткой грани: они могут взаимодействовать между собой, взаимно проникать друг в друга. Так, в процессе преобразования суждений используется их отрицание (например, при превращении). А в процессе отрицания применяется преобразование (например, превращение) — отрицательная форма суждения нередко преобразуется в эквивалентную положительную. Пример с простым суждением: «Прокурор не может не знать законов» — «Прокурор знает (должен знать) законы». Преобразование суждения в процессе его отрицания широко используется и в отношении сложных суждений. Без этого немыслимо исчисление высказываний, особенно более или менее сложных.
Обозревая теперь всю проблематику раздела о суждении в целом (сюда, как мы видели, входят сущность суждений, их классификация, отношения между ними, логические операции с ними), можно сделать общий вывод, что в рамках формальной логики анализируются в основном «готовые», уже существующие, сложившиеся суждения. Это необходимая и важная задача, в ней много еще нерешенного и интересного, но ею формальная логика, по существу, и ограничивается.