Суждение — форма мышления, в которой отражаются связи между понятиями, выраженные в виде утверждения или отрицания. Эта форма существенно отличается от понятия. Последнее отражает совокупность существенных признаков предметов, перечисляет их, а суждение отражает их связи и отношения. Обычно суждение (например: "Роза красная") состоит из двух понятий — двух терминов суждения: субъекта (от лат. subjektum — подлежащее), т.е. того, относительно чего в суждении что-нибудь утверждается или отрицается, и предиката (от лат. praedikatum — сказуемое), т.е. словесного выражения утверждения или отрицания.

В общих суждениях что-либо утверждается или отрицается относительно всех предметов данного класса или группы (например: "Все рыбы дышат жабрами"). В частных суждениях это относится к некоторым представителям класса или группы (например: "Некоторые студенты отличники"). Единичным называется суждение, в котором что-то утверждается или отрицается об одном предмете (например: "Это здание — памятник архитектуры"). Всякое суждение может быть либо истинным, либо ложным, т.е. соответствовать или не соответствовать реальности.

Сложные суждения включают в качестве составных частей другие суждения, связанные между собой особыми логическими связками — конъюнкцией, дизъюнкцией или импликацией.

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

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