Предикаты, кванторы и теоремы. Необходимые и достаточные условия.

В этом видео рассказываю о предикатах и самых распространённых кванторах: общности и существования. Выписываю несколько их важнейших свойств, а также доказываю, что разноимённые кванторы для двухместных предикатов не всегда можно менять местами. Во второй части видео рассматриваются импликативная теорема и критерий, а также подробно разбирается вопрос о том, что такое необходимое и достаточное условия в теоремах. Несколько слов сказано о взаимно обратных, взаимно противоположных теоремах и о доказательстве теорем от противного. МОИ ПЛАТФОРМЫ: ПОДДЕРЖАТЬ КАНАЛ МОЖНО ЗДЕСЬ: