Что значит тогда и только тогда
Тогда и только тогда
В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется достаточно спорные выражения, включающие: Q необходимо и достаточно для Р; Р эквивалентно (или материально эквивалентно) Q; Р точно, если Q; P точно, когда Q; P точно в случае Q; P именно в случае Q.
В логических формулах вместо всех вышеприведённых фраз используются логические символы.
Связанные понятия
Упоминания в литературе
Связанные понятия (продолжение)
В математическом анализе, и прилегающих разделах математики, ограниченное множество — множество, которое в определенном смысле имеет конечный размер. Базовым является понятие ограниченности числового множества, которое обобщается на случай произвольного метрического пространства, а также на случай произвольного частично упорядоченного множества. Понятие ограниченности множества не имеет смысла в общих топологических пространствах, без метрики.
В общей алгебре, термин кручение относится к элементам группы, имеющим конечный порядок, или к элементам модуля, аннулируемым регулярным элементом кольца.
В теории чисел гладким числом называется целое число, все простые делители которого малы.
Во многих областях математики полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы. Определение универсального свойства использует язык теории категорий, чтобы сделать это определение точным и изучать его теоретическими методами.
Тогда и только тогда
В логике и смежных с ней областях, таких как математика и философия, тогда́ и то́лько тогда́ является логической связкой эквиваленции между утверждениями. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию [1] («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется достаточно спорные выражения, включающие: Q необходимо и достаточно для Р, Р эквивалентно (или материально эквивалентно) Q, Р точно, если Q, P точно, когда Q, P точно в случае Q и P именно в случае Q.
В логических формулах вместо всех вышеприведённых фраз используются логические символы. Подробнее об этом будет сказано ниже при обсуждении обозначений.
Содержание
Определение
| p | q | |
|---|---|---|
| True | True | True |
| True | False | False |
| False | True | False |
| False | False | True |
Заметим, что эквивалентное преобразование производит стандартная ячейка XNOR, а противоположное преобразование — стандартная ячейка XOR.
Использование
Нотация
Для обозначения в формулах логической связки «тогда и только тогда» используются логические символы ↔, ⇔ и ≡. В английских текстах иногда для обозначения связки используется «iff» (аббревиатура от «if and only if»), а в русскоязычных текстах по аналогии изредка используется аббревиатура «ттт». [3] Обычно все эти символы трактуются как эквивалентные. Однако, некоторые тексты математической логики (особенно по логике первого порядка и в меньшей степени по логике высказываний) делают различие между ними, причём, первый знак ↔ используется как символ в логических формулах, тогда как знак ⇔ используется в рассуждениях по поводу этих формул (например, в металогике). В нотации Лукасевича в качестве префикса используется символ ‘E’.
Другим термином для обозначения этой связки является «исключающее или».
Доказательства
В большинстве логических систем доказывается утверждения вида «P ↔ Q» через доказательство «если P, то Q» и «если Q, то P» (или обратное «если не-P, то не-Q» и «если не-Q, то не-P»). Доказательство этой пары утверждений иногда приводит к более строгому доказательству, поскольку есть неочевидные условия из которых можно вывести эквиваленцию непосредственно. Альтернативой является доказательство дизъюнкции «(P и Q) или (не-P и не-Q)», которая сама по себе может быть выведена из дизъюнктов, т.е поскольку связка ↔ является функцией истинности, то отсюда следует, что «P ↔ Q» истинно только если P и Q оба истинны или оба ложны.
Отличие «тогда» и «только тогда»
Достаточность является инверсией необходимости. То есть, если дано 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) можно сформулировать так: «Если пудинг, о котором идёт речь, с заварным кремом, тогда Мэдисон будет его есть, И если Мэдисон будет есть пудинг, то он с заврным кремом».
Что значит тогда и только тогда
5.2. Укажите, какие из высказываний предыдущего упражнения истинны, какие ложны, а какие относятся к числу тех, истинность которых трудно или невозможно установить.
[ Ответ ]
5.8. Формализуйте следующий вывод: «Если a и b истинны, то c истинно. Но c ложно: значит, a или b ложны».
[ Ответ ]
5.9. Формализуйте предостережение, которое одна жительница древних Афин сделала своему сыну, собиравшемуся заняться политической деятельностью: “ Если ты будешь говорить правду, то тебя возненавидят люди. Если ты будешь лгать, то тебя возненавидят боги. Но ты должен говорить правду или лгать. Значит, тебя возненавидят люди или возненавидят боги ”.
Формализуйте также ответ сына: “ Если я буду говорить правду, то боги будут любить меня. Если я буду лгать, то люди будут любить меня. Но я должен говорить правду или лгать. Значит, меня будут любить боги или меня будут любить люди ”.
[ Ответ ]
5.10. Пусть a = “ это утро ясное ”, а b = “ это утро теплое ”. Выразите следующие формулы на обычном языке: 
[ Ответ ]
5.12. Из трех данных высказываний a, b, c постройте составное высказывание, которое истинно, когда истинно какое-либо одно из данных высказываний, и только в этом случае.
Ответ: 
.
5.13. Определите с помощью таблиц истинности, какие из следующих формул являются тождественно истинными или тождественно ложными:
а)  | д)  |
б)  | е)  |
в)  | ж)  |
г)  |
5.18. Найдите функции проводимости следующих переключательных схем:
| а) |  | б) |  |
| в) |  | г) |  |
5.20. Постройте переключательные схемы с заданными функциями проводимости: 
5.21. Упростите функции проводимости и постройте переключательные схемы, соответствующие упрощенным функциям:
а)
5.23. Три девочки Роза, Маргарита и Анюта представили на конкурс цветоводов корзины выращенных ими роз, маргариток и анютиных глазок. Девочка, вырастившая маргаритки, обратила внимание Розы на то, что ни у одной из девочек имя не совпадает с названием любимых цветов.
Какие цветы вырастила каждая из девочек?
[ Ответ ]
5.24. Виновник ночного дорожно-транспортного происшествия скрылся с места аварии.
Первый из опрошенных свидетелей сказал работникам ГАИ, что это были “Жигули”, первая цифра номера машины единица.
Второй свидетель сказал, что машина была марки “Москвич”, а номер начинался с семёрки.
Третий свидетель заявил, что машина была иностранная, номер начинался не с единицы.
При дальнейшем расследовании выяснилось, что каждый из свидетелей правильно указал либо только марку машины, либо только первую цифру номера.
Какой марки была машина и с какой цифры начинался номер?
[ Ответ ]
5.27. На очередном этапе автогонок “Формула 1” первые четыре места заняли Шумахер, Алези, Хилл и Кулхардт. Опоздавший к месту награждения телерепортёр успел заснять пилотов, занявших второе и третье места, которые поливали друг друга шампанским. В это время Шумахер с четвёртым гонщиком пожимали друг другу руки. Далее в кадр попал мокрый Хилл, поздравляющий пилота, занявшего второе место. Напоследок оператор снял сцену, в которой Шумахер и Кулхардт пытались втащить на пьедестал почёта пилота, занявшего четвёртое место.
Просматривая отснятый материал, режиссёр спортивного выпуска быстро разобрался, кто из пилотов какое место занял. Он знал, что, в соответствии с церемонией награждения победителей гонок, пилоты, занявшие первые три места, поливают друг друга шампанским из огромных бутылок знаменитой фирмы спонсора соревнований.
Какое же место занял каждый пилот?
[ Ответ ]
5.28. В некотором царстве-государстве повадился Змей Горыныч разбойничать. Послал царь четырёх богатырей погубить Змея, а награду за то обещал великую. Вернулись богатыри с победой и спрашивает их царь: “Так кто же из вас главный победитель, кому достанется царёва дочь и полцарства?”
Засмущались добры молодцы и ответы дали туманные:
Сказал Илья Муромец: “Это все Алеша Попович, царь-батюшка”.
Алеша Попович возразил: “То был Микула Селянинович”.
Микула Селянинович: “Не прав Алеша, не я это”.
Добрыня Никитич: “И не я, батюшка”.
Подвернулась тут баба Яга и говорит царю: “А прав то лишь один из богатырей, видела я всю битву своими глазами”.
Кто же из богатырей победил Змея Горыныча?
[ Ответ ]
5.29. При составлении расписания на пятницу были высказаны пожелания, чтобы информатика была первым или вторым уроком, физика первым или третьим, история вторым или третьим.
Можно ли удовлетворить одновременно все высказанные пожелания?
[ Ответ ]
5.30. Обсуждая конструкцию нового трёхмоторного самолёта, трое конструкторов поочередно высказали следующие предположения:
1) при отказе второго двигателя надо приземляться, а при отказе третьего можно продолжать полёт;
2) при отказе первого двигателя лететь можно, или при отказе третьего двигателя лететь нельзя;
3) при отказе третьего двигателя лететь можно, но при отказе хотя бы одного из остальных надо садиться.
Лётные испытания подтвердили правоту каждого из конструкторов. Определите, при отказе какого из двигателей нельзя продолжать полёт.
[ Ответ ]
5.31. В соревнованиях по плаванию участвовали Андрей, Виктор, Саша и Дима. Их друзья высказали предположения о возможных победителях:
1) первым будет Саша, Виктор будет вторым;
2) вторым будет Саша, Дима будет третьим;
3) Андрей будет вторым, Дима будет четвёртым.
По окончании соревнований оказалось, что в каждом из предположений только одно из высказываний истинно, другое ложно.
Какое место на соревнованиях занял каждый из юношей, если все они заняли разные места.
[ Ответ ]
5.32. Для длительной международной экспедиции на околоземной космической станции надо из восьми претендентов отобрать шесть специалистов: по аэронавтике, космонавигации, биомеханике, энергетике, медицине и астрофизике. Условия полёта не позволяют совмещать работы по разным специальностям, хотя некоторые претенденты владеют двумя специальностями. Обязанности аэронавта могут выполнять Геррети и Нам; космонавигатора Кларк и Фриш; биомеханика Фриш и Нам; энергетика Депардье и Леонов; врача Депардье и Хорхес; астрофизика Волков и Леонов.
По особенностям психологической совместимости врачи рекомендуют совместные полеты Фриша и Кларка, а также Леонова с Хорхесом и Депардье. Напротив, нежелательно, чтобы Депардье оказался в одной экспедиции с Намом, а Волков с Кларком.
Кого следует включить в состав экспедиции?
[ Ответ ]
Тогда и только тогда
«Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию [1] [ нет в источнике ] («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется достаточно спорные выражения, включающие: Q необходимо и достаточно для Р; Р эквивалентно (или материально эквивалентно) Q; Р точно, если Q; P точно, когда Q; P точно в случае Q; P именно в случае Q.
В логических формулах вместо всех вышеприведённых фраз используются логические символы.
