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

В этом видео рассказываю о предикатах и самых распространённых кванторах: общности и существования.
Выписываю несколько их важнейших свойств, а также доказываю, что разноимённые кванторы для двухместных предикатов не всегда можно менять местами.
Во второй части видео рассматриваются импликативная теорема и критерий, а также подробно разбирается вопрос о том, что такое необходимое и достаточное условия в теоремах.
Несколько слов сказано о взаимно обратных, взаимно противоположных теоремах и о доказательстве теорем от противного.
МОИ ПЛАТФОРМЫ:
Rutube: rutube.ru/chan...
Дзен: zen.yandex.ru/...
Группа ВК: georgy_...
Телеграм: t.me/georgyorator
UA-cam: / @georgyorator
ПОДДЕРЖАТЬ КАНАЛ МОЖНО ЗДЕСЬ:
DonationAlerts: www.donational...

[@АринаХураскина]

Георгий, очень интересно!
Молодец! Так держать! 💪

[@georgyorator]

Спасибо большое! :)

[@fghjkl4083]

"такое, что" мы отмечали двоеточием