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

В этом видео рассказываю о предикатах и самых распространённых кванторах: общности и существования. Выписываю несколько их важнейших свойств, а также доказываю, что разноимённые кванторы для двухместных предикатов не всегда можно менять местами. Во второй части видео рассматриваются импликативная теорема и критерий, а также подробно разбирается вопрос о том, что такое необходимое и достаточное условия в теоремах. Несколько слов сказано о взаимно обратных, взаимно противоположных теоремах и о доказательстве теорем от противного. МОИ ПЛАТФОРМЫ: Rutube: https://rutube.ru/channel/26792956/ Дзен: https://zen.yandex.ru/georgyorator Группа ВК: https://vk.com/georgy_orator Телеграм: https://t.me/georgyorator Youtube: https://www.youtube.com/channel/UC4C5QjVNMX-NPIXzZFDTg1Q/featured ПОДДЕРЖАТЬ КАНАЛ МОЖНО ЗДЕСЬ: DonationAlerts: https://www.donationalerts.com/r/georgyorator