Тривиальный вопрос, но все же. Верно понимаю, что хотя такая

Question

Тривиальный вопрос, но все же. Верно понимаю, что хотя такая

последовательность является выводом в исчислении предикатов первого порядка:
1. А(х) - допущение
2. ∀xA(x) - генерализация 1
Но А(х) |- ∀хА(х) писать нельзя, так как такая запись со штопором используется только относительно выводов, в которых нет генерализации свободных переменных в допущениях?

0

20.07.2024

5 ответов

21 просмотр

Massimo Nova

Это зависит от того, в рамках каких ограничений работаете. Например можно было бы полагать, что формулы из множества допущений должны быть замкнутыми. Вы можете просто припомнить, что такая выводимость по теореме дедукции позволяет построить доказательство соответствующей формулы (схемы формул). И в формулировке теоремы дедукции в книге, по которой вы работаете, будут указаны ограничения для теоремы дедукции (они могут быть разными). На них и ориентируйтесь (ну там и соответствующее определение вывода будет)

0

5 месяцев назад

Brenoritvrezorkre

Massimo Nova
Это зависит от того, в рамках каких ограничений ра...

Мне интересно, как запрет на наличие символа в Г можно формализовать

0

5 месяцев назад

Massimo Nova

Brenoritvrezorkre
Мне интересно, как запрет на наличие символа в Г м...

В смысле как построить теорию с ограничениями? Или просто как можно было бы символьно записать?

0

5 месяцев назад