Суждение и его виды

Суждение и предложение.
Простые и сложные суждения. Истинность и ложность простых

Логика Суждение и его виды

2001. С. 110-151.
2. Кириллов В.И., Старченко А.А. Логика: Учебник. М.:

Логика Суждение и его виды

его виды

человеком.
(в) Стань Наполеоном!
(г) Ты хочешь быть Наполеоном?
Предложения:
Логика Суждение и его виды
Суждение

утверждается или отрицается связь между объектами и признаками.

называется суждение, которое содержит не более одного утверждения или отрицания.
Логика Суждение

X говорит: «Или я лжец, или Y рыцарь».
Х говорит: «Я лжец».

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

студенты не являются веселыми людьми».
• «Неверно, что каждый студент веселый

Примеры:

Логика Суждение и его виды

в нем утверждается связь между объектом и признаком, имеющая место

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

или отсутствием свойства
Суждения
Атрибутивные
Реляционные,
или с отношением
если признак связан с наличием

о чем говорится в суждении, объект, о котором идет речь

не существует».
• «Есть проблема».
• «Эта проблема неразрешима».

— отец Ивана» — «Отец (Петр, Иван)» — R(a, b).

понятия объектов, между которыми утверждается или отрицается наличие отношения.
Предикат реляционного

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

суждения.
Логика Суждение и его виды
Отрицательными называются суждения, говорящие об отсутствии у

метафора является неудачной».
«Эта метафора не является удачной».
«Неверно, что

в каком объеме рассматривается субъект суждения

которых является единичное понятие.
Неединичные суждения – это суждения, субъектом которых

есть P.
E: общеотрицательные - Ни один S не есть P.

наклонности».
E: «Ни один человек не есть существо, имеющее преступные наклонности».
I:

«Человек имеет преступные наклонности»

будем называть термином этого суждения.
Термин называется распределенным, если он рассматривается

«Во всем объеме» -
полностью включается в объем другого термина или полностью исключается из него.

в отрицательных — предикат.

более чем одно утверждение или отрицание.
Логика Суждение и его виды
Сложное суждение

повседневного общения и познания
специально построенный для достижения определенной цели

r1, s1, p2, q2, ...,
2. ∧, ∨, ∨, ≡, →, –,

Метаязык — это язык, значением знаков которого являются знаки другого языка.

Язык, знаки которого обозначают внеязыковые объекты, называется объектным языком, или языком-объектом.

А, B, C, D, A1 и т.п. – знаки метаязыка, которые обозначают произвольные выражения объектного языка.

r1, s1, p2, ... — суждения.
Если A и B есть

запись на языке логики суждений, в которой простые суждения заменены

Язык логики суждений

сложных суждений зависит от истинности или ложности простых суждений?
Логика Суждение и

выход.
На входе выписываются все возможные комбинации истинностных значений суждений, из

его виды

его виды

q
Логика Суждение и его виды

его виды

его виды

1.
«Если бы Иван IV был бы зол по природе

всех строках таблицы принимают значение «истина», назовем логически истинными.

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

встречаются и истина, и ложь, назовем фактическими.
Комбинацию значений, которую простые

«истина» в данной строке, то будем говорить, что С подтверждается

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

мира, подтверждающих это суждение, к общему числу состояний мира в

Логика Суждение и его виды

число состояний мира, подтверждающих это суждение,

n

k

n

¯

1

И(C) – количество информации, сообщаемое суждением C.
И(C) = 1 –

меньше сообщаемая им информация, и наоборот.
Наука стремится к истинным информативным

р ((p ∨ q̄)→ r̄) = 5/8
И ((p ∨ q̄ )→ r̄) = 3/8.