Двач.hk не отвечает.
Вы видите копию треда, сохраненную 15 сентября в 05:14.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Вы видите копию треда, сохраненную 15 сентября в 05:14.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
492 Кб, 908x1260Сап! Прошу разбирающегося в логике человека содержательно объяснить следующую теорему, а именно случай применения правила введения квантора всеобщности и случай кв.существования. Заранее большое спасибо!
PS. Есть подозрение, что в самой статье допущена ошибка:
" t does occur in any member of Γ1 or in θ"
"Then, since t does not occur in Γ1, Γ1⊆Γ′."
PS. Есть подозрение, что в самой статье допущена ошибка:
" t does occur in any member of Γ1 or in θ"
"Then, since t does not occur in Γ1, Γ1⊆Γ′."
>>521 (OP)
попробуй /pr/
попробуй /pr/
>>521 (OP)
UPD. Написал автору статьи, он подтвердил, что в доказательстве допущена ошибка.
UPD. Написал автору статьи, он подтвердил, что в доказательстве допущена ошибка.
Двач.hk не отвечает.
Вы видите копию треда, сохраненную 15 сентября в 05:14.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Вы видите копию треда, сохраненную 15 сентября в 05:14.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.