Логические операции с суждениями кратко

Обновлено: 30.06.2024

Две наиболее общих группы логических операций с суждениями: преобразование простых и сложных суждений; отрицание простых и сложных суждений.

Преобразование суждений

Преобразование простых атрибутивных суждений.

Обращение (конверсия) – преобразование суждения путем перестановки его субъекта и предиката местами. При этом количество суждения (кванторное слово) может изменяться, а качество не меняется.

Исключение составляет обращение общеутвердительных выделяющих суждений, в которых и субъект и предикат распределены. Они обращаются в общеутвердительные («чистое обращение).

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

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

Обращения играют важную роль в проверке правильности определений.

Превращение (обверсия) – преобразование суждения путем перемены его качества на противоположное. Количество суждения, его субъект и предикат при этом не меняются.

Благодаря превращению в суждении раскрывается новый смысл: утверждение принимает форму отрицания и наоборот.

Противопоставление субъекту – преобразование суждения путем обращения и последующего превращения.

Противопоставление предикату – преобразование суждения путем превращения и последующего обращения.

© 2014-2022 — Студопедия.Нет — Информационный студенческий ресурс. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав (0.002)

Суждения, как и понятия, тоже могут подвергаться различным логическим операциям. Но если применительно к понятиям речь шла лишь об операциях с их содержанием и объемом (вспомним определение и деление, обобщение и ограничение понятий), то в отношении суждений дело обстоит гораздо сложнее. Логические операции с ними затрагивают и их типы и виды, и их субъектно-предикатную структуру и т. д. Среди таких операций выделяются две наиболее общие группы: преобразование простых и сложных суждений; отрицание тех и других суждений.

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

3.4. Основные логические операции над высказываниями

3.4. Основные логические операции над высказываниями Прежде чем перейти к определению логических операций и связок, посредством которых образуются сложные высказывания из простых, необходимо руководствоваться следующими допущениями.1. Любое высказывание в классической

§ 6. Логические операции с понятиями

§ 6. Логические операции с понятиями Основными логическими операциями с понятиями являются: обобщение и ограничение понятий, их определение и деле­ние. В основе данных операций лежат родо-видовые отношения между понятиями.Логические операции обобщения и ограничения

Логические отношения между простыми атрибутивными суждениями

Логические отношения между простыми атрибутивными суждениями Так же, как и понятия, суждения могут быть сравнимыми и несравнимыми. Мы можем рассмотреть только сравнимые суждения. Сравнимыми называются суждения с одинаковыми субъектами и предикатами и различающиеся

Глава III ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ

Глава III ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ § 1. ОБОБЩЕНИЕ И ОГРАНИЧЕНИЕ Эти логические операции основаны на законе обратного отношения между содержимым и объемом понятия.Обобщить понятие — значит перейти от понятия с меньшим объемом, но с б?льшим содержанием к понятию с

§ 6. ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ ПРОСТЫМИ СУЖДЕНИЯМИ

§ 4. ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ

§ 4. ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ Сложные суждения, как и простые, могут быть сравнимыми и несравнимыми.Несравнимые — это суждения, которые не имеют общих пропозициональных переменных (простых суждений). Например, р ? q и m ? n.Сравнимые — это суждения,

Глава IV. Логические операции с понятиями

Глава IV. Логические операции с понятиями Как отмечалось выше, важнейшими логическими характеристиками понятия выступают его содержание и объем. Но они зачастую скрыты за словесной оболочкой понятия. Поэтому в практике мышления нередко приходится раскрывать как

Глава III. Отношения между суждениями

Глава III. Отношения между суждениями Так же как и между понятиями, между суждениями существуют определенные логические отношения. Они тоже могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми. Но есть и принципиальное различие. Понятия, поскольку они ни

4. Логические операции с теориями

4. Логические операции с теориями По аналогии с понятиями и суждениями, — только, разумеется, тоже в более высоком смысле, — можно говорить о логических операциях с теориями. И здесь налицо определенное сходство.Прежде всего следует выделить логические операции

Глава IV. Логические операции с понятиями

Глава III. Отношения между суждениями

Глава IV. Логические операции с суждениями

Глава III. Отношения между суждениями

Глава III. Отношения между суждениями § 1. Возможные логические отношения между суждениями Интерес логиков к структуре суждений вызван их желанием проявить все возможные формы суждений, с помощью которых суждения имплицируют друг друга. Помимо импликации суждения

§ 1. Возможные логические отношения между суждениями

§ 1. Возможные логические отношения между суждениями Интерес логиков к структуре суждений вызван их желанием проявить все возможные формы суждений, с помощью которых суждения имплицируют друг друга. Помимо импликации суждения могут быть связаны и другими отношениями.

Глава III. Отношения между суждениями

Глава 6. Операции мыслительного процесса

Глава 6. Операции мыслительного процесса Такое название дал Рубинштейн тому, что раньше относилось к разумению и рассуждению. С тех пор все эпигоны без малейшего сомнения повторяют за ним это странное, но очень сильное, почти магическое выражение: операции мыслительного

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

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

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

Формы выводов с помощью обращения:

1) для общеутвердительного суждения:
Все S есть Р.
Некоторые Р есть S.

2) для общеотрицательного суждения:
Ни одно S не есть Р.
Ни одно Р не есть S.

3) для частноутвердительного суждения:
Некоторые S есть Р.
Некоторые Р не есть S.

4) для частноотрицательного суждения путём обращения нельзя логически правильно вывести какое-либо заключение, так как в этом случае нарушается общее правило выводов из категорических суждений: термин, не распределённый в посылках, не должен быть распределён в заключении.

Другими словами, при выводе с помощью превращения отрицательное суждение преобразуется в утвердительное и, наоборот, утвердительное – в отрицательное, а предикат берётся с отрицанием (то есть Р меняется на не-Р или не-Р на Р).

Формы выводов с помощью превращения:

1) для общеутвердительного суждения:
Все S есть Р.
Ни одно S не есть не-Р.


2) для общеотрицательного суждения:
Ни одно S не есть Р.
Все S есть не-Р.

3) для частноутвердительного суждения:
Некоторые S есть Р.
Некоторые S не есть не-Р.

4) для частноотрицательного суждения:
Некоторые S не есть Р.
Некоторые S есть не-Р.

Противопоставление предикату - это преобразование категорического суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом - субъект исходного суждения.

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

1) для общеутвердительного суждения:
Все S есть Р.
Ни одно не-Р не есть S.

2) для общеотрицательного суждения:
Ни одно S не есть Р.
Некоторые не-Р есть S.

3) для частноотрицательного суждения:

Некоторые S не есть Р.

Некоторые не-Р есть S.

4) для частноутвердительных суждений нельзя проводить вывод путем противопоставления предикату, так как после превращения исходного суждения получается частноотрицательное суждение, для которого не применяется операция обращения.

Некоторые водоемы, являющиеся озерами (^ S),
не есть водоемы, имеющие сток (Р).

Некоторые водоемы, не имеющие стока (не-Р),
есть водоемы, являющиеся озерами (S).


Противопоставление субъекту - это преобразование категорического суждения, в результате которого субъектом становится предикат исходного суждения, а предикатом - понятие, противоречащее субъекту исходного суждения.

Такой вывод можно осуществить, последовательно применяя обращение исходного суждения, а затем - превращение полученного результата, либо сразу следуя правилам для противопоставления субъекту:

1) для общеутвердительного суждения:
Все S есть Р.
Некоторые Р не есть не-S.

2) для общеотрицательного суждения:
Ни одно S не есть Р.
Все Р есть не-S.

3) для частноутвердительного суждения:
Некоторые S есть Р.
Некоторые Р не есть не-S.

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

Отношения между суждениями.


4. ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ

· ТЕМА 3. СУЖДЕНИЕ

Сравнимые суждения обладают одинаковыми S и Р, но могут различаться по качеству и количеству. Они делятся на совместимые и несовместимые. Совместимые суждения содержат одну и туже мысль – полностью или частично. Между ними возникают такие логические отношения: а) эквивалентности, б) подчинения, в) частичной совместимости.

Последующие отношения между атрибутивными – A, E, I, O для наглядности изображаются в виде логического квадрата

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


Вопрос об истинности простых суждений лежит вне сферы логики - на него отвечают конкретные науки, повседневная практика или наблюдение. Однако для установления истинности или ложности сложных суждений опыт не помощник.

Отрицаний применяется к одному суждению. Это суждение может быть истинным или ложным.

a Øа
и л
л и


Если исходное суждение истинно, то его отрицание мы договариваемся считать ложным; если же исходное суждение ложно, то его отрицание мы договариваемся считать истинным.

Таблицы истинности для остальных логических связок мы для удобства приводим все вместе:

а b а Ù b а Ú b а Ú . b а® b а «b
1. и и и и Л и и
2. и л л и и л л
3. л и л и и и л
4. л л л л л и и


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

12. Преобразование сложных суждений.

1. Конъюнкция может быть выражена через дизъюнкцию: отрицание конъюнкции эквивалентно дизъюнкции отрицаний: ù (А L В) =

2. Дизъюнкция может быть выражена через конъюнкцию: отрицание дизъюнкции эквивалентно конъюнкции отрицаний: ù (А V В) =

Эти два вида преобразований сложных суждений носят название законов де Моргана.

4. Импликация может быть выражена через дизъюнкцию: импликация эквивалентна дизъюнкции ложного основания и следствия: А → В =

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

Установить же эквивалентность суждений можно при помощи таблиц истинности. Например, если мы сравним таблицы истинности конъюнкции и слабой дизъюнкции, то видно, что сложное суждение конъюнкции А L В истинно только тогда, когда истинны оба исходных суждения А и В; суждения дизъюнкции А V В ложны только в том случае, когда ложны и А, и В. Таким образом, логические союзы конъюнкции L и дизъюнкции V находятся, можно сказать, в обратной зависимости. Зная это, конъюнкцию можно выразить через дизъюнкцию, а дизъюнкцию через конъюнкцию. Получается именно эквивалентные формы, т.е. такие, которые истинны и ложны при одних и тех же значениях составляющих их суждений.

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

Закон О. де Моргана

Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары дуальных логических операций при помощи логического отрицания. Открыты шотландским математиком Огастесом де Морганом

Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения:

not (P and Q) = (not P) or (not Q)

not (P or Q) = (not P) and (not Q)


Обычная запись этих законов в формальной логике:


В исчислении предикатов:


В теории множеств:

Закон Дунса Скота

Закон Клавия характеризует связь импликации и отрицания. Он читается так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или, короче: высказывание, вытекающее из своего собственного отрицания, истинно. Или иначе: если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание истинно. Например, если условием того, чтобы машина не работала, является её работа, то машина работает.

Символически закон Клавия представляется формулой:

если не-А имплицирует А, то верно А.

Закон Клавия — один из случаев общей схемы косвенного доказательства: из отрицания утверждения выводится само это утверждение, оно составляет вместе с отрицанием логическое противоречие; это означает, что отрицание ложно, а верным является само утверждение.

К закону Клавия близок по своей структуре уже упоминавшийся логический закон, отвечающий этой же общей схеме: если из утверждения вытекает его отрицание, то последнее истинно. Например, если условием того, что поезд прибудет вовремя, будет его опоздание, то поезд опоздает. Иначе говоря: если необходимым условием истинности некоторого утверждения является его ложность, то утверждение ложно. Данный закон представляет собой схему рассуждения, идущего от некоторого утверждения к его отрицанию. Можно сказать, что он в некотором смысле слабее, чем закон Клавия, представляющий рассуждение, идущее от отрицания утверждения к самому утверждению.

Конъюнкция или логическое умножение (в теории множеств – это пересечение)

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

Обозначение: &, $\wedge$, $\cdot$.

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


  1. Если хотя бы одно из подвыражений конъюнкции ложно на некотором наборе значений переменных, то и вся конъюнкция будет ложной для этого набора значений.
  2. Если все выражения конъюнкции истинны на некотором наборе значений переменных, то и вся конъюнкция тоже будет истинна.
  3. Значение всей конъюнкции сложного выражения не зависит от порядка записи подвыражений, к которым она применяется (как в математике умножение).

Дизъюнкция или логическое сложение (в теории множеств это объединение)

Дизъюнкция является сложным логическим выражением, которое истинно практически всегда, за исключением, когда все выражения ложны.

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


  1. Если хотя бы одно из подвыражений дизъюнкции истинно на некотором наборе значений переменных, то и вся дизъюнкция принимает истинное значение для данного набора подвыражений.
  2. Если все выражения из некоторого списка дизъюнкции ложны на некотором наборе значений переменных, то и вся дизъюнкция этих выражений тоже ложна.
  3. Значение всей дизъюнкции не зависит от порядка записи подвыражений (как в математике – сложение).

Готовые работы на аналогичную тему

Отрицание, логическое отрицание или инверсия (в теории множеств это отрицание)

Отрицание - означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО и в итоге получаем, что если исходное выражение истинно, то отрицание исходного – будет ложно и наоборот, если исходное выражение ложно, то его отрицание будет истинно.

Обозначения: не $A$, $\bar$, $¬A$.

Таблица истинности для инверсии


Импликация или логическое следование

Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть, данная логическая операция связывает два простых логических выражения, из которых первое является условием ($A$), а второе ($A$) является следствием условия ($A$).

Обозначения: $\to$, $\Rightarrow$.

Таблица истинности для импликации


  1. $A \to B = ¬A \vee B$.
  2. Импликация $A \to B$ ложна, если $A=1$ и $B=0$.
  3. Если $A=0$, то импликация $A \to B$ истинна при любом значении $B$, (из лжи может следовать истинна).

Эквивалентность или логическая равнозначность

Эквивалентность - это сложное логическое выражение, которое истинно на равных значениях переменных $A$ и $B$.

Обозначения: $\leftrightarrow$, $\Leftrightarrow$, $\equiv$.

Таблица истинности для эквивалентности


  1. Эквивалентность истинна на равных наборах значений переменных $A$ и $B$.
  2. КНФ $A \equiv B = (\bar \vee B) \cdot (A \cdot \bar)$
  3. ДНФ $A \equiv B = \bar \cdot \bar \vee A \cdot B$

Строгая дизъюнкция или сложение по модулю 2 ( в теории множеств это объединение двух множеств без их пересечения)

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

Для функции трёх и более переменных результат выполнения операции будет истинным только тогда, когда количество аргументов равных $1$, составляющих текущий набор — нечетное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции.

Обозначения: $A \oplus B$ (в языках программирования), $A≠B$, $A \wedge B$ (в языках программирования).

Таблица истинности для операции сложения по модулю два


Свойства строгой дизъюнкции:

  • $a \oplus 0 = a$(идемпотентность)
  • $a \oplus 1 = \bar$(отрицание)
  • $a \oplus a = 0$(получение 0)
  • $a \oplus b = b \oplus a$(коммутативность)
  • $(a \oplus b) \oplus c = a \oplus (b \oplus c)$(ассоциативность)
  • $(a \oplus b) \oplus b = a$(поглощение)
  • $\bar \oplus b = a \oplus \bar = (a \equiv b)$(сравнения по модулю)

Стрелка Пирса

Бинарная логическая операция, булева функция над двумя переменными. Названа в честь Чарльза Пирса и введена в алгебру логики в $1880—1881$ гг.

Обозначения: $\downarrow$ , ИЛИ-НЕ

Таблица истинности для стрелки Пирса


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

$X \downarrow X = ¬X$— отрицание

$(X \downarrow Y) \downarrow (X \downarrow Y) \equiv X \vee Y$ — дизъюнкция

$(X \downarrow X) \downarrow (Y \downarrow Y) \equiv X \wedge Y$ — конъюнкция

$((X \downarrow X) \downarrow Y) \downarrow ((X \downarrow X) \downarrow Y) = X \to Y$ — импликация

Штрих Шеффера

Булева функция двух переменных или бинарная логическая операция. Введена в рассмотрение Генри Шеффером в 1913 г.

Обозначения: $|$, эквивалентно операции И-НЕ.

Таблицей истинности для функции штрих Шеффера


Штрих Шеффера образует базис для всех булевых функций двух переменных. Применяя штрих Шеффера можно построить остальные операции, например,

$X \mid X = ¬X$ — отрицание

$(X \mid Y) \mid (X \mid Y) = (X \wedge Y)$ — конъюнкция

$(X \mid X) \mid (Y \mid Y) = X \vee Y$ — дизъюнкция

Для электроники это означает, что реализация схем возможна с использованием одного типового элемента (правда это дорогостоящий элемент).

Порядок выполнения логических операций в сложном логическом выражении

  1. Инверсия(отрицание);
  2. Конъюнкция (логическое умножение);
  3. Дизъюнкция и строгая дизъюнкция (логическое сложение);
  4. Импликация (следствие);
  5. Эквивалентность (тождество).

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

Общие свойства

Для набора из $n$ логических переменных существует ровно $2^n$ различных значений. Таблица истинности для логического выражения от $n$ переменных содержит $n+1$ столбец и $2^n$ строк.

Читайте также: