Классификация категорических суждений по количеству и качеству

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

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

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