Тогда и только тогда
↔ ⇔ ≡
Логические символы, изобра-
жающие тогда и только тогда.
«Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию[1] («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется достаточно спорные выражения, включающие: Q необходимо и достаточно для Р; Р эквивалентно (или материально эквивалентно) Q; Р точно, если Q; P точно, когда Q; P точно в случае Q; P именно в случае Q.
В логических формулах вместо всех вышеприведённых фраз используются логические символы.
Содержание
Определение
Таблица истинности для p ↔ q имеет следующий вид:[2]
| p | q | p ↔ q
|
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
Заметим, что эквивалентное преобразование производит стандартная ячейка XNOR, а противоположное преобразование — стандартная ячейка XOR.
Использование
Нотация
Для обозначения в формулах логической связки «тогда и только тогда» используются логические символы ↔, ⇔ и ≡. В английских текстах иногда для обозначения связки используется «iff» (аббревиатура от «if and only if»), а в русскоязычных текстах по аналогии изредка используется аббревиатура «ттт»[3] или «согда»[4]. Обычно все эти символы трактуются как эквивалентные. Однако некоторые тексты математической логики (особенно по логике первого порядка и в меньшей степени по логике высказываний) делают различие между ними, причём, первый знак ↔ используется как символ в логических формулах, тогда как знак ⇔ используется в рассуждениях по поводу этих формул (например, в металогике). В нотации Лукасевича в качестве префикса используется символ 'E'. Отрицанием данной связки является «исключающее или».
Доказательства
В большинстве логических систем доказывается утверждения вида «P ↔ Q» через доказательство «если P, то Q» и «если Q, то P» (или обратное «если не-P, то не-Q» и «если не-Q, то не-P»). Доказательство этой пары утверждений иногда приводит к более строгому доказательству, поскольку есть неочевидные условия, из которых можно вывести эквиваленцию непосредственно. Альтернативой является доказательство дизъюнкции «(P и Q) или (не-P и не-Q)», которая сама по себе может быть выведена из дизъюнктов, т.е поскольку связка ↔ является функцией истинности, то отсюда следует, что «P ↔ Q» истинно только, если P и Q оба истинны или оба ложны.
Отличие «тогда» и «только тогда»
 |
Этот раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей.
|
- «Если пудинг с заварным кремом, тогда Мэдисон будет его есть.» или «Мэдисон будет есть пудинг, если он с заварным кремом.» (эквивалентно к «Только если Мэдисон будет есть пудинг, тогда возможно, что он с заварным кремом.» или «Если Мэдисон не будет есть пудинг, значит он без крема.» или «Только если пудинг без крема, то возможно, что Мэдисон не станет его есть.»)
- Здесь утверждается лишь то, что Мэдисон будет есть крем-пудинг. Это, однако, не исключает возможности того, что Мэдисон съест хлеб-пудинг. Может быть, она будет есть, может быть не будет — предложения ничего не говорят нам. Мы знаем наверняка, что она будет есть любой крем-пудинг, с которым она встретится. Крем является достаточным условием для того, чтобы Мэдисон съела пудинг.
- «Только если пудинг с заварным кремом, тогда возможно, что Мэдисон будет его есть.» или «Мэдисон будет есть пудинг только тогда, когда он с заварным кремом.» (эквивалентно к «Если Мэдисон будет есть пудинг, значит он с заварным кремом.» или «Если пудинг без крема, то Мэдисон не станет его есть.» или «Только если Мэдисон не стала есть пудинг, то возможно, что он без крема.»)
- Здесь утверждается, что Мэдисон будет есть пудинг только с кремом. Это, однако, не исключает возможности того, что Мэдисон откажется от заварного крема, даже если он ей доступен, в отличие от (1), в котором требуется, чтобы Мэдисон съела любой имеющийся заварной крем. Во втором случае пудинг с заварным кремом является необходимым условием для того, чтобы Мэдисон его съела. Это не достаточное условие, так как Мэдисон может и не есть любые крем-пудинги, которые ей дают.
- «Тогда и только тогда, когда пудинг с заварным кремом, Мэдисон будет его есть.» или «Мэдисон будет есть пудинг тогда и только тогда, когда он с заварным кремом.»
- Здесь совершенно ясно, что Мэдисон будет есть только все те пудинги, которые с заварным кремом. Она не оставит ни одного такого пудинга несъеденным, и она не будет есть никакой другой вид пудинга. Данный крем-пудинг является одновременно необходимым и достаточным условием для того, чтобы Мэдисон его съела.
Достаточность является инверсией необходимости. То есть, если дано P→Q (или если P, то Q), то P будет достаточным условием для Q, а Q будет необходимым условием для P. Кроме того, если дано P→Q, то истинно также ¬Q→¬P (где ¬ является оператором отрицания, то есть «не»). Это означает, что связь между P и Q, установленная оператором P→Q, может быть выражена следующими эквивалентными способами:
- P достаточно для Q
- Q необходимо для P
- ¬Q достаточно для ¬P
- ¬P необходимо для ¬Q
Если в качестве примера взять вышеприведённое предложение (1), в котором утверждается P→Q, где P — это «пудинг, о котором идёт речь, с заварным кремом», а Q — это «Мэдисон будет есть пудинг, о котором идёт речь». Следующие четыре способа выражения отношений эквивалентны:
- Если пудинг, о котором идёт речь, с заварным кремом, тогда Мэдисон будет его есть.
- Только если Мэдисон будет есть пудинг, о котором идёт речь, он с заварным кремом.
- Если Мэдисон не будет есть пудинг, о котором идёт речь, он без заварного крема.
- Только если пудинг, о котором идёт речь, без заварного крема, Мэдисон не будет его есть.
Таким образом, мы видим, что вышеприведённое предложение (2) можно переформулировать в виде если … то, например, «Если Мэдисон съест пудинг, о котором идёт речь, то он с кремом». Беря это в сочетании с (1), мы находим, что (3) можно сформулировать так: «Если пудинг, о котором идёт речь, с заварным кремом, тогда Мэдисон будет его есть, И если Мэдисон будет есть пудинг, то он с заварным кремом».
См. также
Напишите отзыв о статье "Тогда и только тогда"
Примечания
- ↑ [www.philosophy.ru/library/katr/logic/log_2_lect.html Логика высказываний]
- ↑ [www.webmath.ru/poleznoe/tables_istinnosti.php Основы логики. Логические операции и таблицы истинности.]
- ↑ [www.i-u.ru/biblio/archive/nepeyvoda_pri/01.aspx Непейвода Н. Н., Прикладная логика, глава 2] (недоступная ссылка с 13-05-2013 (3998 дней))
- ↑ Виро О. Я., Иванов О. А., Нецветаев Н. Ю., Харламов В. М. Элементарная топология
Отрывок, характеризующий Тогда и только тогда
– Нет, mon pere. [батюшка.]Как ни неудачно попала m lle Bourienne на предмет разговора, она не остановилась и болтала об оранжереях, о красоте нового распустившегося цветка, и князь после супа смягчился.
После обеда он прошел к невестке. Маленькая княгиня сидела за маленьким столиком и болтала с Машей, горничной. Она побледнела, увидав свекора.
Маленькая княгиня очень переменилась. Она скорее была дурна, нежели хороша, теперь. Щеки опустились, губа поднялась кверху, глаза были обтянуты книзу.
– Да, тяжесть какая то, – отвечала она на вопрос князя, что она чувствует.
– Не нужно ли чего?
– Нет, merci, mon pere. [благодарю, батюшка.]
– Ну, хорошо, хорошо.
Он вышел и дошел до официантской. Алпатыч, нагнув голову, стоял в официантской.
– Закидана дорога?
– Закидана, ваше сиятельство; простите, ради Бога, по одной глупости.
Князь перебил его и засмеялся своим неестественным смехом.
– Ну, хорошо, хорошо.
Он протянул руку, которую поцеловал Алпатыч, и прошел в кабинет.
Вечером приехал князь Василий. Его встретили на прешпекте (так назывался проспект) кучера и официанты, с криком провезли его возки и сани к флигелю по нарочно засыпанной снегом дороге.
Князю Василью и Анатолю были отведены отдельные комнаты.
Анатоль сидел, сняв камзол и подпершись руками в бока, перед столом, на угол которого он, улыбаясь, пристально и рассеянно устремил свои прекрасные большие глаза. На всю жизнь свою он смотрел как на непрерывное увеселение, которое кто то такой почему то обязался устроить для него. Так же и теперь он смотрел на свою поездку к злому старику и к богатой уродливой наследнице. Всё это могло выйти, по его предположению, очень хорошо и забавно. А отчего же не жениться, коли она очень богата? Это никогда не мешает, думал Анатоль.
Он выбрился, надушился с тщательностью и щегольством, сделавшимися его привычкою, и с прирожденным ему добродушно победительным выражением, высоко неся красивую голову, вошел в комнату к отцу. Около князя Василья хлопотали его два камердинера, одевая его; он сам оживленно оглядывался вокруг себя и весело кивнул входившему сыну, как будто он говорил: «Так, таким мне тебя и надо!»
– Нет, без шуток, батюшка, она очень уродлива? А? – спросил он, как бы продолжая разговор, не раз веденный во время путешествия.
– Полно. Глупости! Главное дело – старайся быть почтителен и благоразумен с старым князем.
– Ежели он будет браниться, я уйду, – сказал Анатоль. – Я этих стариков терпеть не могу. А?
– Помни, что для тебя от этого зависит всё.
В это время в девичьей не только был известен приезд министра с сыном, но внешний вид их обоих был уже подробно описан. Княжна Марья сидела одна в своей комнате и тщетно пыталась преодолеть свое внутреннее волнение.
«Зачем они писали, зачем Лиза говорила мне про это? Ведь этого не может быть! – говорила она себе, взглядывая в зеркало. – Как я выйду в гостиную? Ежели бы он даже мне понравился, я бы не могла быть теперь с ним сама собою». Одна мысль о взгляде ее отца приводила ее в ужас.
Маленькая княгиня и m lle Bourienne получили уже все нужные сведения от горничной Маши о том, какой румяный, чернобровый красавец был министерский сын, и о том, как папенька их насилу ноги проволок на лестницу, а он, как орел, шагая по три ступеньки, пробежал зa ним. Получив эти сведения, маленькая княгиня с m lle Bourienne,еще из коридора слышные своими оживленно переговаривавшими голосами, вошли в комнату княжны.
– Ils sont arrives, Marieie, [Они приехали, Мари,] вы знаете? – сказала маленькая княгиня, переваливаясь своим животом и тяжело опускаясь на кресло.
Она уже не была в той блузе, в которой сидела поутру, а на ней было одно из лучших ее платьев; голова ее была тщательно убрана, и на лице ее было оживление, не скрывавшее, однако, опустившихся и помертвевших очертаний лица. В том наряде, в котором она бывала обыкновенно в обществах в Петербурге, еще заметнее было, как много она подурнела. На m lle Bourienne тоже появилось уже незаметно какое то усовершенствование наряда, которое придавало ее хорошенькому, свеженькому лицу еще более привлекательности.
– Eh bien, et vous restez comme vous etes, chere princesse? – заговорила она. – On va venir annoncer, que ces messieurs sont au salon; il faudra descendre, et vous ne faites pas un petit brin de toilette! [Ну, а вы остаетесь, в чем были, княжна? Сейчас придут сказать, что они вышли. Надо будет итти вниз, а вы хоть бы чуть чуть принарядились!]
Маленькая княгиня поднялась с кресла, позвонила горничную и поспешно и весело принялась придумывать наряд для княжны Марьи и приводить его в исполнение. Княжна Марья чувствовала себя оскорбленной в чувстве собственного достоинства тем, что приезд обещанного ей жениха волновал ее, и еще более она была оскорблена тем, что обе ее подруги и не предполагали, чтобы это могло быть иначе. Сказать им, как ей совестно было за себя и за них, это значило выдать свое волнение; кроме того отказаться от наряжения, которое предлагали ей, повело бы к продолжительным шуткам и настаиваниям. Она вспыхнула, прекрасные глаза ее потухли, лицо ее покрылось пятнами и с тем некрасивым выражением жертвы, чаще всего останавливающемся на ее лице, она отдалась во власть m lle Bourienne и Лизы. Обе женщины заботились совершенно искренно о том, чтобы сделать ее красивой. Она была так дурна, что ни одной из них не могла притти мысль о соперничестве с нею; поэтому они совершенно искренно, с тем наивным и твердым убеждением женщин, что наряд может сделать лицо красивым, принялись за ее одеванье.
– Нет, право, ma bonne amie, [мой добрый друг,] это платье нехорошо, – говорила Лиза, издалека боком взглядывая на княжну. – Вели подать, у тебя там есть масака. Право! Что ж, ведь это, может быть, судьба жизни решается. А это слишком светло, нехорошо, нет, нехорошо!
Нехорошо было не платье, но лицо и вся фигура княжны, но этого не чувствовали m lle Bourienne и маленькая княгиня; им все казалось, что ежели приложить голубую ленту к волосам, зачесанным кверху, и спустить голубой шарф с коричневого платья и т. п., то всё будет хорошо. Они забывали, что испуганное лицо и фигуру нельзя было изменить, и потому, как они ни видоизменяли раму и украшение этого лица, само лицо оставалось жалко и некрасиво. После двух или трех перемен, которым покорно подчинялась княжна Марья, в ту минуту, как она была зачесана кверху (прическа, совершенно изменявшая и портившая ее лицо), в голубом шарфе и масака нарядном платье, маленькая княгиня раза два обошла кругом нее, маленькой ручкой оправила тут складку платья, там подернула шарф и посмотрела, склонив голову, то с той, то с другой стороны.
– Нет, это нельзя, – сказала она решительно, всплеснув руками. – Non, Marie, decidement ca ne vous va pas. Je vous aime mieux dans votre petite robe grise de tous les jours. Non, de grace, faites cela pour moi. [Нет, Мари, решительно это не идет к вам. Я вас лучше люблю в вашем сереньком ежедневном платьице: пожалуйста, сделайте это для меня.] Катя, – сказала она горничной, – принеси княжне серенькое платье, и посмотрите, m lle Bourienne, как я это устрою, – сказала она с улыбкой предвкушения артистической радости.
Но когда Катя принесла требуемое платье, княжна Марья неподвижно всё сидела перед зеркалом, глядя на свое лицо, и в зеркале увидала, что в глазах ее стоят слезы, и что рот ее дрожит, приготовляясь к рыданиям.
