26.Соединительные суждения. Таблица истинности для конъюкции.

Соединительные (конъюнктивные) суждения.

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

«Встречающийся в естественном языке союз «и» употребляется в нескольких значениях. Сравним суждения: «Идёт дождь, и идёт снег», «Я вышел на улицу, и я сломал ногу». Если в первом суждении можнл представить составляющий его простые суждения ез изменения смысла суждения в целом, то во втором суждении этого сделать нельзя.

В логике широкое применение находит союз «и», имеющий определённый смысл. Этот союз обозначается символом & (читается «и»), называется знаком конъюкции. Суждение с этим знаком называется конъюктивным.

Форма конъюктивного суждения: А&В. Каждое из высказываний А. В может принимать как значение «истина», так и значение «ложь».Эти значения для краткости будем обозначать буквами и, л.

Таблица истинности для конъюнкции

А	В	А&В
и	и	и
и	л	л
л	и	л
л	л	л

27.Разделительные суждения Полная и неполная, строгая и слабая дизъюнкция. Таблицы истинности для дизъюнкции.

Разделительные (дизъюнктивные) суждения.

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

Если первое обозначить В, а второе — С, то разделительное суждение символически можно выразить как В v С, где В и С — члены дизъюнкции (дизъюнкты), v — символ дизъюнкции.

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

Таблицы истинности для сложных высказываний:

Для дезъюнкции

Строгой Не строгой

В	С	В \/ С
и	и	и
л	и	и
и	л	и
л	л	л

А	В	А > В
и	и	и
и	л	л
л	и	и
л	л	и

28.Условные суждения. Таблица истинности для импликации.

3. Условные (импликативные) суждения.

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

В	С	В /\ С
и	и	и
л	и	л
и	л	л
л	л	л

Для импликации