[Править]Другие

• Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

• Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

• Суждения тождества — понятия субъекта и предиката имеют один и тот же объём. Пример: «Всякий равносторонний треугольник есть равноугольный треугольник».

• Суждения подчинения — понятие с менее широким объёмом подчиняется понятию с более широким объёмом. Пример: «Собака есть домашнее животное».

• Суждения отношения — именно пространства, времени, отношения. Пример: «Дом находится на улице».

• Экзистенциальные суждения или суждения существования — это такие суждения, которые приписывают только лишь существование.

• Аналитические суждения — суждения, в которых мы относительно субъекта высказываем нечто такое, что в нём уже содержится.

• Синтетические суждения — суждения, расширяющие познание. В них не раскрывается содержание подлежащего, а присоединяется нечто новое.

[Править]Модальность суждений

Основная статья: Модальная логика

Модальные понятия, или модальности — понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.

В зависимости от модальности выделяются следующие основные виды суждений:

• Суждения возможности — «S, вероятно, есть Р» (возможность). Пример: «Возможно падение метеорита на Землю».

• Ассерторические — «S есть P» (действительность). Пример: «Киев стоит на Днепре».

• Аподиктические — «S необходимо должно быть P» (необходимость). Пример: «Две прямые линии не могут замыкать пространства».

15. Сложные суждения. Таблицы истинности сложных суждений. Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

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

• нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как  ;

• строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как  .

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как   или  . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как  .

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как   (у разных математиков по-разному, хотя математический знак тождества всё-таки  ).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

Таблица истинности – таблица, с помощью которой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав. Каждое из сложных суждений имеет свою таблицу истинности. В классической логике сводные данные для конъюнкции, дизъюнкции, импликации и эквиваленции имеют следующий вид

Таблица истинности

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

А	В	А¯	В¯	А˄В	А˅В	А→В	А « В
И	И	Л	Л	И	И	И	И
И	Л	Л	И	Л	И	Л	Л
Л	И	И	Л	Л	И	И	Л
Л	Л	И	И	И	Л	И	И

Таблицы истинности находят широкое применение для

· Вычисления истинности сложных высказываний;

· Установления эквивалентности высказываний;

· Определения тавтологий.

Равносильные формулы логики высказывания

– это выказывания, которые принимают одинаковое значение истинности при одних и тех же значениях элементарных высказываний, входящих в эти формы. Например, А→В, В¯→А¯

Тождественно-истинная формула (тавтология)

– это формула, которая принимает значения истины при всех значениях, входящих в нее элементарных высказываний

Тождественно-ложная формула (противоречие)

– формула, которая при всех значениях, входящих в нее элементарных высказываний, принимает значение лжи.

Пример:

(А¯˅ В)→(А˄В)

А	А¯	В	А¯˅ В	А˄В	(А¯˅ В)→(А˄В)
И	Л	И	И	И	И
И	Л	Л	Л	Л	И
Л	И	И	И	Л	Л
Л	И	Л	И	Л	Л

Выделяют следующие правила соотношения истинности и ложности суждений:

1. Из истинности общего, подчиняющего суждения следует истинность подчиненного частного суждения.

2. Из ложности общего суждения не вытекает ни истинность, ни ложность частного суждения, – оно остается неопределенным.

3. Ложность частного суждения обусловливает ложность подчиняющего общего суждения, но истинность частного оставляет общее суждение неопределенным.