Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Путешествие во времени — гипотетическое перемещение человека или каких-либо объектов из настоящего в или будущее, в частности, с технического устройства, называемого «машиной времени».
Фотография 1941 года на открытии Голд-бридж в Британской Колумбии (Канада) запечатлела якобы путешественника во времени. В действительности, облик мужчины соответствует эпохе и отличается от собравшихся тем, что те одеты более официально. Очки «путешественника — хипстера» изобретены ещё в 1920-е годы, на футболке угадывается логотип «Монреаль Марунз»[1][2].
Объяснение:
вот все правильно
