Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Моё родное междометие,
Мой постоянный возглас «ОЙ».
Теперь уж ни за что на свете
Мы не расстанемся с тобой.
Ты не поддержка, не опора,
Ты как соломинка в воде,
Но я боюсь, что очень скоро
Со мною будешь ты везде.
Чтобы присесть или нагнуться,
Чтоб быть в согласьи с головой,
Чтоб с боку на бок повернуться
Не обойтись уже без «ОЙ».
Без «ОЙ» не встану я с дивана,
Упавший нож не подниму,
Без «ОЙ» не вылезу из ванны,
И даже туфли не сниму.
Легко уже мне не подняться,
Увы, по лестнице крутой.
И с молодыми не тягаться –
Ползу в сопровожденьи «ОЙ».
На жизнь я вовсе не в обиде,
Уж так устроен путь земной.
Но, в зеркале себя увидев,
Как в страхе не воскликнуть «ОЙ»!
А что же дальше с нами будет?
Вопрос , конечно, не простой.
Но мы пока о нем забудем,
А то совсем уж «ОЙ-ОЙ-ОЙ»!
Объяснение:
