/math/ - Математики помогите!

Математики помогите! Аноним 20/12/23 Срд 18:46:46 № 111521 1

2023-12-2018-44[...].png 492Кб, 908x1260

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

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

Аноним 20/12/23 Срд 23:38:32 № 111530 2

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

Аноним 21/12/23 Чтв 06:19:07 № 111534 3

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

Аноним 21/12/23 Чтв 11:04:02 № 111536 4

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

Аноним 21/12/23 Чтв 11:05:41 № 111537 5

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

Назад Вверх Каталог Обновить