Тогда и только тогда: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Изменены примеры 1 и 2
Строка 44:
== Отличие «тогда» и «только тогда» ==
{{Чистить|2=Этот раздел}}
# '''«<u>Если</u> пудинг с заварным кремом, тогда Мэдисон будет его есть.»''' или '''«Мэдисон будет есть пудинг, <u>если</u> он с заварным кремом.»''' (эквивалентно к '''«<u>Только если</u> Мэдисон будет есть пудинг, тогда <u>возможно</u> что он с заварным кремом.»''' или '''«<u>Если</u> Мэдисон <u>не</u> будет есть пудинг, значит он <u>без</u> крема.'''»'''''' или '''«<u>Только если</u> пудинг <u>без</u> крема, то <u>возмо</u><u>жно</u>, что Мэдисон <u>не</u> станет его есть.'''»''')'''
#: Здесь утверждается лишь то, что Мэдисон будет есть крем-пудинг. Это, однако, не исключает возможности того, что Мэдисон съест хлеб-пудинг. Может быть, она будет есть, может быть не будет — предложения ничего не говорят нам. Мы знаем наверняка, что она будет есть любой крем-пудинг, с которым она встретится. Крем является ''достаточным'' условием для того, чтобы Мэдисон съела пудинг.
# '''«<u>Только если</u> пудинг с заварным кремом, тогда возможно что Мэдисон будет его есть.»''' или '''«Мэдисон будет есть пудинг <u>только тогда, когда</u> он с заварным кремом.»''' (эквивалентно к '''«<u>Если</u> Мэдисон будет есть пудинг, значит он с заварным кремом.»''' или '''«<u>Если</u> пудинг <u>без</u> крема, то Мэдисон <u>не</u> станет его есть.»''' или '''«<u>Только если</u> Мэдисон <u>не</u> стала есть пудинг, то <u>возможно</u>, что он <u>без</u> крема.»)'''
#: Здесь утверждается, что Мэдисон будет есть пудинг только с кремом. Это, однако, не исключает возможности того, что Мэдисон откажется от заварного крема, даже если он ей доступен, в отличие от (1), в котором требуется, чтобы Мэдисон съела любой имеющийся заварной крем. Во втором случае пудинг с заварным кремом является ''необходимым'' условием для того, чтобы Мэдисон его съела. Это не достаточное условие, так как Мэдисон не может есть любые крем-пудинги, которые ей дают.
# '''«<u>Тогда и только тогда</u>, когда пудинг с заварным кремом, Мэдисон будет его есть.»''' или '''«Мэдисон будет есть пудинг <u>тогда и только тогда</u>, когда он с заварным кремом.»'''