В логике и математике , то логический biconditional , иногда известный как материала biconditional , является логическая связка используется для соединить два оператора P и Q , чтобы сформировать утверждение « P тогда и только тогда , когда Q », где Р известен как антецеденте , и Q - следствие . [1] [2] [3] Это часто сокращается как « P iff Q ». [4] Оператор обозначается двуглавой стрелкой (↔[5] или ⇔ [6] ), префикс E «E pq » (в обозначениях Лукасевича или Бохенского ), знак равенства (=), знак эквивалентности (≡), [4] или EQV . Это логически эквивалентно обоим а также , и логический оператор XNOR (исключающее или) , что означает «оба или ни один».
Семантически единственный случай, когда логическое биконусное условие отличается от материального условного условия, - это случай, когда гипотеза ложна, а вывод верен. В этом случае результат будет истинным для условного, но ложным для двусмысленного. [2]
В концептуальной интерпретации P = Q означает «Все P - это Q , а все Q - это P ». Другими словами, множества P и Q совпадают: они идентичны. Однако это не означает, что P и Q должны иметь одно и то же значение (например, P может быть «равносторонним трехугольником», а Q - «равносторонним треугольником»). При формулировке как предложение, предшествующий является предметом и , как следствие , является предикатом из универсального утвердительного предложения (например, во фразе «все люди смертны», «люди» является субъектом и «смертный» есть предикат).
В пропозициональной интерпретации означает, что P влечет Q, а Q влечет P ; Другими словами, предложения логически эквивалентны в том смысле, что оба они либо вместе истинны, либо вместе ложны. Опять же, это не означает, что они должны иметь одно и то же значение, поскольку P может означать «треугольник ABC имеет две равные стороны», а Q может означать «треугольник ABC имеет два равных угла». В общем, антецедент - это посылка или причина , а следствие - это следствие . Когда импликация переводится как гипотетическое (или условное ) суждение, антецедент называется гипотезой (или условием ), а следствие - тезисом .
Распространенный способ демонстрации двусмысленности формы чтобы продемонстрировать, что а также отдельно (в силу его эквивалентности конъюнкции двух обратных условных выражений [2] ). Еще один способ продемонстрировать то же двусловное условие - это продемонстрировать, что а также . [1]
Когда оба члена двусмысленного выражения являются предложениями, его можно разделить на два условия, одно из которых называется теоремой, а другое - обратным . [ необходимая цитата ] Таким образом, всякий раз, когда теорема и обратная ей теорема верны, у нас есть двусловное условие. Простая теорема порождает импликацию, антецедентом которой является гипотеза, а следствием - тезис теоремы.
Часто говорят, что гипотеза является достаточным условием тезиса, а тезис - необходимым условием гипотезы. То есть достаточно, чтобы гипотеза была верной, чтобы тезис был верным, в то время как необходимо, чтобы тезис был верным, если гипотеза верна. Когда теорема и обратная теорема верны, ее гипотеза считается необходимым и достаточным условием тезиса. То есть гипотеза является одновременно причиной и следствием тезиса.
Определение
Логическое равенство (также известное как двояковыпуклое) - это операция над двумя логическими значениями , обычно значениями двух предложений , которая дает значение истина тогда и только тогда, когда оба операнда ложны или оба операнда истинны. [2]
Таблица истинности
Ниже приводится таблица истинности для (также записывается как , P = Q или P EQ Q ):
Т | Т | Т |
Т | F | F |
F | Т | F |
F | F | Т |
Если задействовано более двух утверждений, их сочетание с может быть двусмысленным. Например, заявление
можно интерпретировать как
- ,
или могут быть истолковано , как говорят , что все х я являюсь совместно истинным или ложным совместно :
Оказывается, эти два утверждения одинаковы только тогда, когда задействовано ноль или два аргумента. Фактически, следующие таблицы истинности показывают один и тот же битовый шаблон только в строке без аргументов и в строках с двумя аргументами:
Левая диаграмма Венна ниже и линии (AB) в этих матрицах представляют одну и ту же операцию.
Диаграммы Венна
Красные области означают истину (как в для и ).
|
|
|
Характеристики
Коммутативность : Да
Ассоциативность : Да
Распределимость : бикондиционная функция не распределяется по какой-либо бинарной функции (даже самой себе), а логическая дизъюнкция распределяется по биконусной.
идемпотентность : Нет
Монотонность : Нет
Сохранение истины: Да.
Когда все входные данные верны, выход верен.
Сохранение ложности: Нет.
Когда все входные данные ложны, выход не является ложным.
Спектр Уолша : (2,0,0,2)
Non линейность : 0 (функция линейна)
Правила вывода
Как и все связки в логике первого порядка, у двусмысленного выражения есть правила вывода, которые регулируют его использование в формальных доказательствах.
Двузначное введение
Бикондиционное введение позволяет заключить, что если B следует из A, а A следует из B, то A тогда и только тогда, когда B.
Например, из утверждений «если я дышу, значит я жив» и «если я жив, то я дышу», можно сделать вывод, что «я дышу тогда и только тогда, когда я» м жив »или, что эквивалентно:« Я жив тогда и только тогда, когда я дышу ». Или более схематично:
Б → А А → Б ∴ А ↔ Б
Б → А А → Б ∴ Б ↔ А
Двуусловное исключение
Бикондиционное исключение позволяет вывести условное выражение из биконусного: если A ↔ B истинно, то можно вывести либо A → B, либо B → A.
Например, если это правда, что я дышу, если и только если я жив, то это правда, что если я дышу, то я жив; Точно так же это правда, что если я жив, то я дышу. Или более схематично:
А ↔ Б ∴ А → Б
А ↔ Б ∴ B → A
Разговорное использование
Одним из недвусмысленных способов обозначить двояковыпуклое слово на простом английском языке является использование формы « b, если a, и a, если b » - если стандартная форма « a if and only if b » не используется. Чуть более формально можно было бы также сказать, что « b подразумевает a, а a подразумевает b », или « a необходимо и достаточно для b ». [1] Простое английское «if '» иногда может использоваться как двояковыпуклая (особенно в контексте математического определения [7] ). В этом случае при интерпретации этих слов необходимо принимать во внимание окружающий контекст.
Например, утверждение «Я куплю вам новый кошелек, если он вам понадобится» может быть истолковано как двоякое условие, поскольку говорящий не предполагает правильного результата покупки кошелька независимо от того, нужен кошелек или нет (как в условном). Однако «облачно, если идет дождь», как правило, не подразумевается как двоякое условие, поскольку может быть облачно, даже если нет дождя.
Смотрите также
- Если и только если
- Логическая эквивалентность
- Логическое равенство
- XNOR ворота
- Двуусловное исключение
- Двузначное введение
Рекомендации
- ^ a b c «Окончательный словарь высшего математического жаргона - если и только если» . Математическое хранилище . 2019-08-01 . Проверено 25 ноября 2019 .
- ^ а б в г Пейл, Тимоти. «Условные и двусмысленные» . web.mnstate.edu . Проверено 25 ноября 2019 .
- ^ Бреннан, Джозеф Г. (1961). Справочник по логике (2-е изд.). Харпер и Роу. п. 81.
- ^ а б Вайсштейн, Эрик В. «Ифф» . mathworld.wolfram.com . Проверено 25 ноября 2019 .
- ^ «Биконусные утверждения | Математические вкусности» . www.mathgoodies.com . Проверено 25 ноября 2019 .
- ^ «2.4: Двуусловные утверждения» . Математика LibreTexts . 2018-04-25 . Проверено 25 ноября 2019 .
- ^ Фактически, это стиль, принятый в руководстве по стилю в математике Википедии .
Внешние ссылки
- СМИ, относящиеся к логическим двояким условным обозначениям на Викискладе?
Эта статья включает материал из Biconditional на PlanetMath , который находится под лицензией Creative Commons Attribution / Share-Alike License .