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

Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или». Например, суждение «Договор купли-продажи может быть заключен в устной или письменной форме» является разделительным суждением, состоящим из двух простых: «Договор купли-продажи может быть заключен в устной форме»; «Договор купли-продажи может быть заключен в письменной форме». Если первое обозначить р, а второе — q, то разделительное суждение символически можно выразить как р v q, где р и q — члены дизъюнкции (дизъюнкты), v — символ дизъюнкции.

Разделительное суждение может быть как двух-, так и многосоставным: р v q v ... v п.

Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение — «Предохранитель плавится» называют антецедентом (предшествующим), второе — «Электролампа гаснет» —консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком «—>», то импликативное суждение символически можно выразить как p-->q.

20.Сложные суждения. Их особенность и виды.

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

Виды:

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

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

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

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

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

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

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