Тогда и только тогда: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
пока отключил для соотнесения с Необходимое_и_достаточное_условия#Пример |
||
Строка 12:
В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется <span style="color: purple; background-color: GainsBoro;>достаточно спорные выражения</span>, включающие: ''Q [[Необходимое и достаточное условие|необходимо и достаточно]] для Р''; ''Р эквивалентно (или материально эквивалентно) Q''; ''Р точно, если Q''; ''P точно, когда Q''; ''P точно в случае Q''; ''P именно в случае Q''.
<!--Из [[Необходимое_и_достаточное_условия#Пример|примера со студентом]] явственно видно, что такое необходимое условие, а что - достаточное. Достаточное условие "Петр учится на оценки большие, чем тройки" включает в себя необходимое условие "Пётр учится", <span style="color: purple; background-color: GainsBoro;>поэтому формулировка "необходимое и достаточное условие" является абсурдной</span>. Из примера и определений, которые оно иллюстрирует, следует также, что <span style="color: purple; background-color: GainsBoro;>"необходимый, но недостаточный" - это то же, что "необходимый"</span>.-->
В логических формулах вместо всех вышеприведённых фраз используются логические символы.
| |||