Отрицание суждений. При характеристике сложных суждений широко используется еще один логический союз: «неверно, что» или просто «не» (знак отрицания «1»). В отличие от бинарных союзов он относится к одному суждению. Прибавление его к какому-либо суждению означает образование нового суждения, которое находится в определенной зависимости от исходного. Например, исходное суждение: «Все судьи неподкупны». Его отрицание: «Неверно, что все судьи неподкупны» или «Не все судьи неподкупны», «Некоторые судьи не неподкупны».

Отрицание истинно, если исходное суждение ложно, и наоборот. Таблица отрицания суждений:

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

Различия между логическими союзами относительны. Подобно тому как один и тот же логический союз может соединять самые разные по конкретному содержанию суждения, так одно и то же конкретное суждение может быть выражено разными логическими союзами. Например: «День прошел, и настала ночь»; «Если день прошел, то настала ночь»; «Или день не прошел, или настала ночь»; «День не прошел, ночь не настала»; «Если ночь не настала, то день не прошел». Взаимосвязь и взаимозаменяемость логических союзов имеет большое значение для преобразования символических формул в процессе исчисления высказываний.

Заключение

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

Таким образом, суждение и предложение образуют неразрывное единство, но это единство включает в себя определенные различия, которые необходимо учитывать, так как отождествление суждения как формы мышления и предложения как его языкового выражения Порождает ошибки в их анализе.

Суждения делятся на простые и сложные.

Простым называется суждение, не включающее другие суждения. Суждение, состоящее из нескольких простых суждений, называется сложным.

В логической литературе наряду с термином «суждение» употребляется термин «высказывание». В дальнейшем изложении оба термина мы будем употреблять как