Простые и сложные суждения

предметах действительности, об их свойствах, отношениях, образе действия, взаимосвязях.
Суждение

может соответствовать или не соответствовать действительности (быть истинным или ложным).

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

суждения с отношениями (реляционные)

предметов каких-либо свойств, состояний, видов деятельности и т. п.

или идеального объекта.

Суждения с отношениями - суждения, в которых

говорится о каких-либо отношениях между предметами.

говорится в данном суждении.

Предикат суждения - понятие о признаке

предмета мысли: то, что говорится о предмете мысли.

каких-либо условий и без каких-либо вариантов.
Обычно к категорическим суждениям

относят все атрибутивные суждения.

Категорические суждения делятся по качеству на утвердительные и отрицательные, а по количеству на единичные, частные и общие

в объем субъекта которого входит лишь один элемент: «Данное S

есть Р».
Частное суждение - суждение, в котором речь идет о части предметов, мыслимых в субъекте. Его структура: «Некоторые 5 есть (не есть) Р.
Общее суждение — суждение, в котором речь идет обо всем классе предметов, мыслимых в субъекте. Структура такого суждения: «Все S есть Р» или «Ни одно S не есть Р».

т. п.) между субъектом и предикатом.

Отрицательное суждение - суждение,

имеющее отрицательную связку («не есть», «не суть» и т. п.) между субъектом и предикатом.

соответствии с которой выделяются четыре типа суждений:
общеутвердительное — «Все

S есть Р» (обозначается латинской буквой Л);
частноутвердительное — «Некоторые S есть Р» (обозначается буквой /);
общеотрицательное — «Ни одно S не есть Р» (обозначается буквой Е);
частноотрицательное — «Некоторые S не есть Р (обозначается буквой О).
Единичные суждения в объединенной классификации относят к общим суждениям.

Если объем термина (S или Р) целиком включен в объем

другого термина (S или Р), то он считается распределенным.
Таковым же он будет считаться и в случае его полного исключения из объема второго термина.
В остальных случаях термин считается нераспределенным.

суждений, соединенных с помощью логических союзов «и», «или», «если..., то...»,

и т. п.
Соединительное суждение (конъюнкция) — сложное суждение, в котором простые суждения связаны между собой логическим союзом «и» (обозначается символом «∧»), называемым конъюнкцией. Форма конъюнктивного суждения: р ∧ g.

связаны между собой логическим союзом «или», который допускает выбор хотя

бы одного из двух (или более) возможных вариантов (нестрогая дизъюнкция), или же союзом «либо..., либо...» («или..., или...»), допускающим лишь один вариант из двух (или более) возможных (строгая дизъюнкция).
Форма дизъюнкции: р V g

связаны логическим союзом «если..., то...», обуславливающим наличие некоторой ситуации наличием

другой.

При этом суждение, стоящее после слова «если», называют основанием, а второе суждение называют следствием. Форма условного суждения: р→ g

Суждение эквивалентности - сложное суждение, где связь между простыми суждениями осуществляется с помощью логического союза «если и только если..., то...» («тогда и только тогда, когда...»).
В этом суждении утверждается одновременное наличие или отсутствие двух ситуаций. Форма такого суждения: р ≡ g.

отсутствие некоторой ситуации, о существовании которой могла идти речь раньше.

Это суждение выражается предложением, начинающимся словами: «Неверно, что...».

Форма такого суждения, например: ¬ р .

1. a v ~a == 1 - закон исключенного третьего

19
2. ~(a ∧ b) = ~a v ~b - закон Де Моргана
3. ~(a v b) = ~a ∧ ~b - закон Де Моргана
4. a ∧ b = ~(~a v ~b) - закон Де Моргана
5. a v b = ~(~a ∧ ~b) - закон Де Моргана