что такое строгая дизъюнкция
Виды дизъюнкции.
Нестрогая и строгая дизъюнкция
Поскольку связка «или» употребляется в естественном языке в двух значениях – соединительно-разделительном и исключающе-разделительном, то следует различать два типа разделительных суждений:
1) нестрогую (слабую) дизъюнкцию
2) строгую (сильную) дизъюнкцию.
Нестрогая дизъюнкция будет истинна при истинности хотя бы одного члена дизъюнкции и ложна, если оба ее члена будут ложны.
v Строгая дизъюнкция – суждение, в котором связка «или» употребляется в разделительном значении (символ – двойная дизъюнкция). Напр.: «Деяние может быть умышленным или неосторожным».
Члены строгой дизъюнкции, называемые альтернативами, не могут быть одновременно истинными. Если деяние совершено умышленно, то его нельзя считать неосторожным, и, наоборот, деяние, совершенное по неосторожности, не может быть отнесено к умышленным.
Строгая дизъюнкция будет истинна при истинности одного и ложности другого члена; она будет ложна, если оба члена истинны или оба ложны. Таким образом, суждение строгой дизъюнкции будет истинным при истинности одной альтернативы и ложным как при одновременной ложности, так и одновременной истинности альтернатив.
Полная и неполная дизъюнкция
v Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода.
Напр.: «Леса бывают лиственные, хвойные или смешанные». Полнота этого разделения определяется тем, что не существует помимо указанных, других видов лесов.
v Неполным, или открытым, называют дизъюнктивное суждение, в котором перечислены не все признаки или не все виды определенного рода. В символической записи неполнота дизъюнкции может быть выражена многоточием. В естественном языке неполнота дизъюнкции выражается словами: «и т. д.», «и др.», «и тому подобное», «иные» и др.
Конъюнкция. Правила вывода относящиеся к конъюнкции.
Конъюнкция – логическое умножение.
Для обозначения конъюнкции применяют различные символы. Это может быть знак &, AND. Но чаще всего для обозначения конъюнкции используют символ ^. Запомнить довольно просто — конъюнкция истинна только в одном случае — когда оба исходных высказывания истинны.
Что такое строгая дизъюнкция
§ 2. Логические операции. Формализация высказываний
Сейчас мы познакомимся с шестью основными логическими операциями. Каждая из них имеет несколько названий и обозначений.
Названия операции
Возможные обозначения
Конъюнкция, логическое умножение, операция И, операция AND.
`&, ^^, *,` по аналогии с алгебраическим умножением может никак не обозначаться
Дизъюнкция, нестрогая дизъюнкция, логическое сложение, операция ИЛИ, операция OR.
Строгая дизъюнкция, разделительная дизъюнкция, исключающее ИЛИ, сложение по модулю `2`.
Эквивалентность, эквиваленция, равенство, равнозначность.
Импликация, следование, следствие
Теперь для того чтобы строго определить эти логические операции, нам нужно для каждой из них выписать таблицу истинности. Все перечисленные операции кроме отрицания имеют два операнда. Знак операции в выражениях пишется между операндами (как в алгебре чисел). Операция отрицания имеет один операнд и в выражениях записывается либо в виде черты над операндом, либо в виде символа «приставка» слева от операнда.
1) `p` и `q` ложны. Это значит, что четырёхугольник не является квадратом и его стороны не равны. Это возможная ситуация.
2) `p` – ложно, `q` – истинно. Это значит, что четырёхугольник не является квадратом, но стороны у него равны. Это возможно (ромб).
3) `p` – истинно, `q` – истинно. Это значит, что четырёхугольник является квадратом и стороны у него равны. Это возможная ситуация.
4) `p` – истинно, `q` – ложно. Это значит, что четырёхугольник является квадратом, но стороны у него не равны. Это невозможная ситуация.
Очень часто вместо «присвоим логическим переменным эти высказывания» говорят «обозначим высказывания следующим образом». В дальнейшем мы тоже будем использовать этот речевой оборот.
Логические операции и их свойства
Вы будете перенаправлены на Автор24
Конъюнкция или логическое умножение (в теории множеств – это пересечение)
Конъюнкция является сложным логическим выражением, которое истинно в том и только том случае, когда оба простых выражения являются истинными. Такая ситуация возможно лишь в единственном случае, во всех остальных случаях конъюнкция ложна.
Таблица истинности для конъюнкции
Дизъюнкция или логическое сложение (в теории множеств это объединение)
Дизъюнкция является сложным логическим выражением, которое истинно практически всегда, за исключением, когда все выражения ложны.
Таблица истинности для дизъюнкции
Готовые работы на аналогичную тему
Отрицание, логическое отрицание или инверсия (в теории множеств это отрицание)
Таблица истинности для инверсии
Импликация или логическое следование
Таблица истинности для импликации
Эквивалентность или логическая равнозначность
Таблица истинности для эквивалентности
Строгая дизъюнкция или сложение по модулю 2 ( в теории множеств это объединение двух множеств без их пересечения)
Строгая дизъюнкция истинна, если значения аргументов не равны.
Таблица истинности для операции сложения по модулю два
Свойства строгой дизъюнкции:
Стрелка Пирса
Таблица истинности для стрелки Пирса
Стрелка Пирса, как и конъюнкция, дизъюнкция, отрицание, образует базис для булевых функций двух переменных. При помощи стрелки Пирса, можно построить все остальные логические операции, например:
$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$ — импликация
В электронике стрелка Пирса представлена в виде элемента, который носит название «операция 2ИЛИ-НЕ» (2-in NОR).
Штрих Шеффера
Булева функция двух переменных или бинарная логическая операция. Введена в рассмотрение Генри Шеффером в 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$ — дизъюнкция
Для электроники это означает, что реализация схем возможна с использованием одного типового элемента (правда это дорогостоящий элемент).
Порядок выполнения логических операций в сложном логическом выражении
Для того чтобы изменить указанный порядок выполнения логических операций, необходимо использовать скобки.
Общие свойства
Получи деньги за свои студенческие работы
Курсовые, рефераты или другие работы
Автор этой статьи Дата написания статьи: 24 03 2016
Что такое строгая дизъюнкция
27. ВИДЫ ДИЗЪЮНКЦИИ
Нестрогая и строгая дизъюнкция
Поскольку связка «или» употребляется в естественном языке в двух значениях – соединительно-разделительном и исключающе-разделительном, то следует различать два типа разделительных суждений: 1) нестрогую (слабую) дизъюнкцию и 2) строгую (сильную) дизъюнкцию.
Нестрогая дизъюнкция будет истинна при истинности хотя бы одного члена дизъюнкции и ложна, если оба ее члена будут ложны.
Строгая дизъюнкция – суждение, в котором связка «или» употребляется в разделительном значении (символ – двойная дизъюнкция). Напр.: «Деяние может быть умышленным или неосторожным», символически
.
Члены строгой дизъюнкции, называемые альтернативами, не могут быть одновременно истинными. Если деяние совершено умышленно, то его нельзя считать неосторожным, и, наоборот, деяние, совершенное по неосторожности, не может быть отнесено к умышленным.
Строгая дизъюнкция будет истинна при истинности одного и ложности другого члена; она будет ложна, если оба члена истинны или оба ложны. Таким образом, суждение строгой дизъюнкции будет истинным при истинности одной альтернативы и ложным как при одновременной ложности, так и одновременной истинности альтернатив.
Разделительная связка в языке обычно выражается с помощью союзов «или», «либо». С целью усиления дизъюнкции до альтернативного значения нередко употребляют удвоенные союзы: вместо выражения «р или q» употребляют «или р, или q», а вместе «р либо q» – «либо р, либо q». Поскольку в грамматике отсутствуют однозначные союзы для нестрогого и строгого разделения, то вопрос о типе дизъюнкции в юридических и других текстах должен решаться содержательным анализом соответствующих суждений.
Полная и неполная дизъюнкция
Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода.
Символически это суждение можно записать следующим образом: . Напр.: «Леса бывают лиственные, хвойные или смешанные». Полнота этого разделения (в символической записи обозначается знаком ) определяется тем, что не существует помимо указанных, других видов лесов.
II. Основные законы логики
Урок II.
Логические законы, связки и операторы.
Классическая логика оценивает любое суждение естественного языка как истинное или ложное. Соответственно, любое логическое высказывание, выражающее суждение, также может быть оценено как истинное или ложное.
Основные законы логики отражают именно эту однозначность:
¬(A˄¬A)
A˅¬A
Дополнительная информация
| Иногда, в качестве четвёртого основополагающего закона логики добавляют закон достаточного основания. Он гласит: Суждение считается истинным, если для этого есть достаточные основания (т.е., если оно доказано). Данный закон никак не формализуется. Да и его статус в качестве основного логического закона – спорен. |
Для того, чтобы ту или иную формулу (суждение, высказывание) оценить на истинность или ложность, вначале необходимо понять, какие значения имеют элементарные сложные высказывания, такие как A˄B, A˅B, A˅B, A⊃B, A≡В, ¬A.
Дополнительная информация
| Высказывание называется простым, если оно содержит один субъект (S) и один предикат (P). Соответственно, сложными называются высказывания, содержащие в своем составе два и более простых высказывания. Здесь уместна аналогия с предложениями в естественном языке. Предложения, имеющее одно подлежащее и одно сказуемое называются простыми; сложными предложениями называются те, которые имеют в своем составе более одного простого предложения. Например, предложение «Идет дождь» называется в естественном языке простым. В логике подобное высказывание также называется простым. А предложение «Идет дождь, и светит солнце» — сложное. С точки зрения классической логике такое высказывание также сложное. |
Конъюнкция.
Конъюнктивные высказывания – это сложные соединительные высказывания, основным термином которого является знак «˄». В русском языке связка «˄» чаще всего соответствует предлогу «и». Например, «Идет дождь, и светит солнце». Понятно, что конъюнктивные высказывания могут выражаться и через другие слова – «но», «а», «однако», «затем». Например «Идет дождь, но светит солнце», «Идет дождь, однако светит солнце», «Идет дождь, а солнце светит». Даже высказывание «Дождь прошёл, а затем выглянуло солнце» — также является конъюнктивным.
Дополнительная информация
| Иногда возникает необходимость с помощью конъюнктивных высказываний подчеркнуть последовательность событий. Например, «Прошел дождь, а затем выглянуло солнце, и позже засияла радуга». Для этого используют индексы последовательности. В нашем случае мы имеет три последовательных события – А, B и C. В формальной логике это можно отразить следующим образом: ˄ → 3 (А, B, C) или A˄ → 3 B˄ → 3 C |
Поскольку сложные конъюнктивные высказывания повествуют о двух и более событиях, их истинность в целом определяется истинностью всех входящих в них простых высказываний. Иными словами, чтобы высказывание «Идет дождь, и светит солнце» можно было назвать истинным, необходимо, чтобы истинными были оба этих события — «Идет дождь» и «Светит солнце». В таблице истинности свойства конъюнкции отражаются так:
| A | ˄ | B |
| И | И | И |
| И | Л | Л |
| Л | Л | И |
| Л | Л | Л |
В смысловом содержании:
| A | ˄ | B |
| Идет дождь | И | Светит солнце |
| Идет дождь | Л | Не светит солнце |
| Не идет дождь | Л | Светит солнце |
| Не идет дождь | Л | Не светит солнце |
Для начинающих читателей объясним, что именно означает данная таблица. Буква «И» означает «истина», буква «Л» — ложь. Сначала мы перевели высказывание естественного языка «Идет дождь, и светит солнце» в символическую форму. Для этого мы обозначили простое суждение «Идет дождь» латинской буквой «A», а суждение «Светит солнце» — латинской буквой «B». Затем мы соединили оба этих высказывания знаком конъюнкции и получили «A˄B». Следующим шагом мы прописали все возможные комбинации сочетания этих переменных:
| A | ˄ | B |
| И | И | |
| И | Л | |
| Л | И | |
| Л | Л |
И, наконец, поскольку конъюнкция получает значение истины только, когда истинны оба ее члена одновременно, в первой строке мы ставим значение «И», а во всех остальных – «Л».
Если бы в нашей конъюнкции было бы не два члена, а три — A˄B˄C – строчек в нашей таблице было бы вдвое больше:
| A | ˄ | B | ˄ | С |
| И | И | И | И | И |
| И | И | И | Л | Л |
| И | Л | Л | Л | И |
| И | Л | Л | Л | Л |
| Л | Л | И | Л | И |
| Л | Л | И | Л | Л |
| Л | Л | Л | Л | И |
| Л | Л | Л | Л | Л |
Число строк в таблице подсчитывается по формуле 2 n , где n — количество переменных в формуле.
Здесь, для обозначения истинности и ложности высказываний, мы использовали (и будем использовать в дальнейшем) русские буквы «И» и «Л». Однако часто в литературе можно встретить и иные обозначения – символы на английском языке или числовые обозначения:
| A | ˄ | B | A | ˄ | B | A | ˄ | B | ||
| И | И | И | T | T | T | 1 | 1 | 1 | ||
| И | Л | Л | ↔ | T | F | F | ↔ | 1 | 0 | 0 |
| Л | Л | И | F | F | T | 0 | 0 | 1 | ||
| Л | Л | Л | F | F | F | 0 | 0 | 0 |
Дизъюнкция.
Дизъюнктивные высказывания – это сложные разделительные высказывания, основным термином которого является знак «˅». В русском языке связка «˅» чаще всего соответствует предлогу «или», «либо». Причем дизъюнкция верна, когда верно одно из утверждений или оба одновременно.
Примером дизъюнктивного высказывания может быть суждение «Идёт дождь, или идёт снег». Сразу обращаем внимание читателя, что простая (нестрогая) дизъюнкция ложна лишь в одном случае – когда ложны оба её члена (оба простых высказывания, входящих в ее состав). Выражение «Идёт дождь, или идёт снег» истинно, если истинно, либо то, что «Идёт дождь», либо то, что «Идёт снег». Но нестрогая дизъюнкция верна и тогда, когда верно и то, и другое:
| A | ˅ | B |
| И | И | И |
| И | И | Л |
| Л | И | И |
| Л | Л | Л |
Строгая дизъюнкция.
Строгая дизъюнкция обозначается знаком «˅» и отличается от нестрогой тем, что принимает значение лжи при истинности обоих её членов (обоих высказываний, входящих в её состав):
| A | ˅ | B |
| И | Л | И |
| И | И | Л |
| Л | И | И |
| Л | Л | Л |
В русском языке строгая дизъюнкция выражается оборотом «или…, или…», «либо…, либо», «или одно, или другое». Если верными оказываются оба события, строгая дизъюнкция считается ложной, поскольку одно событие исключает другое. Примером строгой дизъюнкции может служить суждение «Либо снег идёт, либо не идёт».
В нестрогой дизъюнкции два события могут наступить одновременно. Например, в суждении «Идёт дождь, или идёт снег» очевидно, что возможен снег с дождём. В строгой дизъюнкции одно событие исключает другое, как в примере «Либо снег идёт, либо не идёт».
Эквивалентность.
Основным знаком эквивалентности (эквиваленции, тождества, равнозначности, взаимовыразимости ) является «≡» или «↔». Иногда тождество в логике называют «двойной импликацией», поскольку эквивалентность «A↔B» истинна, когда верно, что из A следует B, а из B следует A: (A↔B)≡(A⊃B, B⊃A).
В русском языке формула «A↔B» передаётся выражениями «A эквивалентно B», «Если и только, если А, то B», «В тогда и только тогда, когда A». В этом смысле в формуле «A↔B» A является необходимым и достаточным основанием для B. Как, впрочем, и B является необходимым и достаточным основанием для A.
Дополнительная информация
| Необходимым условием (основанием) события A называется такое условие, без которого события A невозможно. Достаточным условием (основанием) события A называется такое условие, при выполнении которого наступает событие A. Необходимым и достаточным условием (основанием) события А называется такое условие, при выполнении которого наступает событие А, а при его невыполнении событие А невозможно. Теперь постараемся перевести всё это на понятный язык. Есть такая поговорка: «Не разбив яйцо, яичницу не пожаришь». О чём идёт речь? Чтобы пожарить яичницу необходимо разбить яйцо. Иными словами условие «разбить яйцо» является необходимым для события «яичница». Но является ли условие «разбить яйцо» достаточным, для того, чтобы у нас получилась яичница? Очевидно, нет. Ведь разбитое яйцо ещё надо положить на сковородку и пожарить. Таким образом, условие «разбить яйцо» является необходимым, но недостаточным основанием для вкусной яичницы. Народная поговорка говорит: «Аппетит приходит во время еды». Не вдаваясь в дискуссию, примем это высказывание на веру, как истинное. Народная мудрость говорит нам о том, что возбуждение аппетита имеет своим условием хорошую трапезу. То есть, хорошая трапеза – достаточное условие для появления у нас аппетита. Но в тоже время мы с вами понимаем, что условием появления аппетита может служить не только трапеза, но и активная физическая нагрузка, или, скажем, длительное воздержание от пищи. Значит, приём пищи является вполне достаточным, но не необходимым основанием для возбуждения аппетита. Приведем еще одну поговорку: «Если долго мучиться – что-нибудь получится». Здесь справедливо говорится о том, что для достижения значимого результата необходимо условие – мучение. И это справедливо, поскольку так в жизни часто и происходит. Но всегда ли наши мучения приводят к значимым результатам? Нет. Следовательно, наши мучения не являются для результата достаточным условием. Обязательно, чтобы добиться какого-то результата, нам необходимо мучиться? Тоже нет: ведь, как правило, мы добиваемся результата, исходя из других мотивов. Значит наши мучения еще и не необходимы для этого. Здесь мы имеем дело с не достаточным и не необходимым основанием (условием). Но хватит поговорок. Перейдем к обыденному опыту. Всем известно, что для того, чтобы в чайнике закипела вода, её надо нагреть до ста градусов. То есть, условием кипения воды является её нагрев до ста градусов. Теперь постараемся понять, что представляет собой условие «нагрев до ста градусов». Это условие необходимо, поскольку без нагрева до ста градусов вода просто не закипит. Это условие достаточно, поскольку нагревание воды до ста градусов обязательно приведет к её кипению. Когда условие является необходимым и достаточным для результата, условие и результат эквивалентны. Это можно сформулировать следующим образом: нагревание воды до ста градусов эквивалентно её кипению – кипение воды эквивалентно нагреванию её до ста градусов. (Вода нагрета до ста градусов) → (вода кипит) (Вода кипит) → (вода нагрета до ста градусов) (Вода кипит) ↔ (вода нагрета до ста градусов) |
Отношение эквивалентности выражается следующей таблицей истинности:
| A | ↔ | B |
| И | И | И |
| И | Л | Л |
| Л | Л | И |
| Л | И | Л |
Дополнительная информация
| Для понимания смысла эквивалентности/тождества можно было бы ограничиться замечанием, что этот термин близок по содержанию знаку равенства в математике. Или сказать, что эквивалентность выражается словосочетанием «одно и то же». Однако это не совсем так. Более того, в логической науке понятия «эквивалентность» и «тождество» принято различать. Тождество (равнозначность) – это отношение между одним и тем же объектом. Или, другими словами, это отношение между выражениями, имеющими одинаковое значение и объём. Например, в отношении тождества относятся такие понятия как «Самый большой город России» и «Столица России». Ясно, что речь идёт об одном и том же объекте, имеющим одно и то же значение – «Москва». Однако содержание этих высказываний, как мы видим, разное. Тождественными также являются выражения «2х2» и «4», поскольку они имеют один и тот же объем. Но, опять-таки, содержание и свойства этих выражений разные: в первом случае речь идёт о свойстве произведения, а во втором – о свойстве числа. Эквивалентность (взаимовыразимость), напротив, есть отношение между разными объектами, имеющими одинаковые (или близкие по содержанию) свойства. В качестве примера можно привести оригинальное лекарство и его дженерик. Это разные препараты (объекты), имеющие одинаковые (эквивалентные) свойства. В определенном смысле, можно назвать эквивалентными кассира и банкомат, при условии, что оба они выполняют одинаковые функции. |
Отрицание.
Знак отрицания (инверсии) меняет формулу и всё, что она выражает (суждение, высказывание, умозаключение и т.д.) на противоречивую её. Особо подчеркнём – именно на противоречивую, а не на противоположную (о разнице понятий «противоречие» и «противоположность» будет подробнее рассказано ниже). Инверсия обозначается знаком «¬». Этот знак превращает ложь в истину, а истину в ложь. В русском языке логическое отрицание обычно обозначается словами «неверно, что…». Смысл инверсии выражается следующей таблицей истинности:
| A | ¬A |
| И | Л |
| Л | И |
Если мы хотим отрицать формулу A, то ставим перед ней знак «¬» и получаем «¬A». Читаем: «Не A» или «Не верно, что A». Если у нас имеется достаточно длинная формула, то берём всю её в скобки и перед ней ставим отрицание «¬».
Импликация.
Импликативные высказывания – это сложные условные высказывания, основным термином которого является знак «⊃». В русском языке связка «⊃» чаще всего соответствует словосочетанию «если…, то…». Именно это словосочетание (а, точнее, его неоднозначность и вариативность) порождает множество недоразумений.
Слова А.П. Чехова «Если на стене висит ружьё, то оно обязательно должно выстрелить» воспринимается как логическое следование, где из условия «висит ружьё» логически следует «должно выстрелить». На самом же деле никакого логического следования здесь нет и в помине. Здесь есть событие B и условие A. Причем условие A является не обязательно необходимым для события B.
Дополнительная информация
| Импликация — самый спорный логический знак в формальной классической логике. Настолько спорный, что он породил множество неклассических логик и множество интерпретаций самой импликации. Чтобы отделить классическую импликацию от множества её интерпретаций («релевантная импликация», «строгая импликация», «интенсиональная импликация» и т. д.), её принято назвать «материальной импликацией». |
Важно
| В формуле «A⊃B» условие A принято называть антецедентом. В формуле «A⊃B» следствие B принято называть консеквентом. |
Итак, высказывание импликации вида A⊃B – это высказывание, в котором событие B происходим при условии события A. При этом событие A не обязательно является необходимым условием для осуществления события B.
В силу сказанного, истинными импликативными суждениями можно считать следующие:
При всей кажущейся абсурдности представленных выражений, все они – истинны.
А теперь давайте разберемся, по пунктам.
Первые четыре выражения говорят нам о том, что «вода в чайнике закипит при ста градусах по Цельсию» при любых условиях. Иными словами, ни одно из условий не помешает воде закипеть при ста градусах по Цельсию. Мы можем определить разные условия – истинные, ложные, достаточные или необходимые, но при этом «вода при ста градусах» всё равно закипит. Именно поэтому импликация здесь истинна.
Зададимся вопросом: «Закипит ли вода при ста градусах по Цельсию, если предположить, что Луна сделана из зелёного сыра»? Очевидно, что закипит. Именно поэтому импликация истинна всегда, когда истинен консеквент (следствие).
Пятый пример проще для понимания: «Если Москва – столица Франции, то вода в чайнике никогда не закипит при ста градусах по Цельсию». Почему эта импликация также является истинной? Просто потому, что из одной нелепицы мы вывели другую нелепицу. А, если из одной лжи мы получаем другую, следовательно, наши рассуждения правильны.
Если наши рассуждения показались читателю неубедительными, приведём пример из математики. «Если 5:0=0, то 0х0=5». Здесь оба утверждения ложны, но вывод сделан по всем правилам математики. Следовательно, и это умозаключение – истинно.
Если и этот пример показался читателю неубедительным, приведём ситуацию, называемую в научной литературе «Тест на послушание», в которой мать даёт наставление своему сыну:
Мама говорит сыну: «Делай уроки!» (принимаем это высказывание за «+»).
Мама ничего не говорит сыну (принимаем это высказывание за «-»).
Сын делает уроки (принимаем это высказывание за «+»).
Сын бездельничает (принимаем это высказывание за «-»).
Строим таблицу истинности:
| Условие | ⊃ | Результат | |
| 1 | Мама говорит сыну: «Делай уроки!» | + | Сын делает уроки |
| 2 | Мама говорит сыну: «Делай уроки!» | — | Сын бездельничает |
| 3 | Мама ничего не говорит сыну | + | Сын делает уроки |
| 4 | Мама ничего не говорит сыну | + | Сын бездельничает |
Ясно, что сын не слушается мать только в случае №2.
Отношение импликации выражается следующей таблицей истинности:
| A | ⊃ | B |
| И | И | И |
| И | Л | Л |
| Л | И | И |
| Л | И | Л |
Квантор общности ∀.
Оператор «∀» называется квантором общности (от английского «All») и переводится на русский язык выражениями «Все…», «Ни один…», «Никто из…», «Не существует…» и т.д.
Оператор «∀» ставится непосредственно перед переменной — ∀x, что означает «Все x…», «Для всех x…», «Ни один из x…», «Не существует x…».
Если нам необходимо перевести на формальный язык выражение «Все люди – млекопитающие», мы обозначаем свойство (предикат) «млекопитающее» заглавной латинской буквой, например, «Q», человека — переменной (обозначаем прописной латинской буквой), например, «x».
Таким образом, выражение «Человек есть млекопитающее» символически может выглядеть так: «Q(x)». Читаем: есть «x», обладающий свойством «Q» — человек обладает свойством млекопитающего.
Далее, мы прибавляем квантор «∀», чтобы подчеркнуть, что все люди – млекопитающие.
Читаем: Для всех «x» верно, что «x» обладает свойством «Q».
По-русски: Для всех людей верно, что они обладают свойством «млекопитающих». Или, проще, «Все люди – млекопитающие».
Если в формуле боле одной переменной, то квантор ставится перед каждой из них. Выражение «Все мужчины и все женщины – люди» можно символически выразить, как ∀x∀yQ(x, y). Читаем: «Для всех «x» и для всех «y» верно, что они обладают свойством «Q».
Квантор существования Ǝ.
Оператор «Ǝ» называется квантором общности (от английского «Existence») и переводится на русский язык выражениями «Некоторые…», «Большинство…», «Не все из…», «Существует…» и т.д.
Оператор «Ǝ» ставится непосредственно перед переменной — Ǝx, что означает «Некоторые x…», «Большинство x…», «Не все x…», «Существует x…».
Если нам необходимо перевести на формальный язык выражение «Некоторые люди – философы», мы обозначаем свойство (предикат) «философы» заглавной латинской буквой, например, «Q», человека — переменной (обозначаем прописной латинской буквой), например, «x».
Таким образом, выражение «Люди — философы» символически может выглядеть так: «Q(x)». Читаем: есть «x», обладающий свойством «Q» — человек обладает свойством философа.
Далее, мы прибавляем квантор «Ǝ», чтобы подчеркнуть, что лишь некоторые люди – философы.
Читаем: Для некоторых «x» верно, что «x» обладает свойством «Q».
По-русски: Для некоторых людей верно, что они обладают свойством «философы». Или, проще, «Некоторые люди – философы».
Если в формуле боле одной переменной, то квантор ставится перед каждой из них. Выражение «Некоторые мужчины и некоторые женщины – философы» можно символически выразить, как ƎxƎyQ(x, y). Читаем: «Для некоторых «x» и для некоторых «y» верно, что они обладают свойством «Q».
Пример построения элементарной формулы.
Зная основные символы формальной логики, мы можем перевести любую естественную речь на формализованный язык. К примеру:
«Если кто-то любит кого-то, и никто не любит всех, значит, некто любит всех или все не любят кое-кого».
Мы специально взяли этот классический пример, в котором нет никакого внятного содержания, чтобы подчеркнуть формальность логики. Задача проста: надо выразить эту абракадабру логическими символами.
Итак, мы понимаем что, кто-то (х) с кем-то (у) находятся (или не находятся — «¬») в отношении любви (L). Иными словами L(x, y). Имеем:
¬L(x, y) —«х»не любит «у»(не верно, что икс любит игрека).
Дополнительная информация
| Если бы мы имели формулировку «х и у любят друг друга», то использовали не предикат L, а функтор f— f(x,y). При использовании функторов, последовательность переменных не важна — f(x,y), либо f(у,х) поскольку функтор «f» говорит о взаимном отношении между иксом и игреком. Однако предикат L действует лишь в одну сторону, и именно поэтому здесь важна последовательность переменных. L(x, y) – читается, как «х любит у», а L(y,x) – читается, как «y любит x». |
Осталось разобраться с кванторами, то есть, где кто-то любит (∃), а где любят все (∀). Итак,
Пробуем «перевести» на язык логики фразу «кто-то любит кого-то». Некоторый х находится с некоторым у в состоянии любви L:
Соответственно, фраза «никто не любит всех» должна символически выглядеть так:
∀x∀y¬L(x, y) – для всех «x» и для всех «y» верно, что они не находятся в состоянии любви «¬L».
Если понятны первые два действия, ничего не стоит сделать «перевод на язык логики» фразы «некто любит всех» и все не любят кое-кого»:
Теперь осталось только объединить все наши фразы операторами «∧» — «и», «∨» — «или», «⊃» — «если…, то»:
Внешние скобки можно опустить, поскольку знак «⊃» сильнее знаков «∧» и «∨». Получаем:
Важно