testhelp.link
поиск
о проекте
плагин
войти
При каких условиях из 𝐴AA├∀𝑥𝑖𝐴∀xiA\forall x_iA по теореме дедукции следует ├𝐴⊃∀𝑥𝑖𝐴A⊃∀xiAA\supset\forall x_iA?
К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.