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. Написал автору статьи, он подтвердил, что в доказательстве допущена ошибка.