М.Двач / Математика

492 Кб, 908x1260
Математики помогите! 20 дек 2023, 18:46 111521 В конец треда | Веб

Сап! Прошу разбирающегося в логике человека содержательно объяснить следующую теорему, а именно случай применения правила введения квантора всеобщности и случай кв.существования. Заранее большое спасибо!

PS. Есть подозрение, что в самой статье допущена ошибка:
" t does occur in any member of Γ1 or in θ"
"Then, since t does not occur in Γ1, Γ1⊆Γ′."

Ответы530537

2 20 дек 2023, 23:38 2 111530

>>111521 (OP)
попробуй /pr/

3 21 дек 2023, 06:19 3 111534

Ссылку б хоть кинул, а то без контекста нихуя не ясно.

Ответы536

4 21 дек 2023, 11:04 4 111536

>>111534
https://plato.stanford.edu/entries/logic-classical/#Dedu

5 21 дек 2023, 11:05 5 111537

>>111521 (OP)
UPD. Написал автору статьи, он подтвердил, что в доказательстве допущена ошибка.

Обновить тред
« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion