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

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

0/0


0/0

0/0

0/0