Грамматика исчисления предикатов

[karlicoss]

Нигде не упомянуто отрицание, видимо, надо добавить к правилу, задающему терм.

[shd]

Привет!

Не, это слишком сильное свойство (в конспекте ошибка  - поправил).
Там в теореме о дедукции есть оговорка - про применение кванторов
по свободным переменным.

Дмитрий Григорьевич.

Пятница, 28 декабря 2012, 7:40 -08:00 от Dmitry Suvorov notifications@github.com:

В определении 6.6 список формул (Г), видимо, замкнут должен быть.
—
Reply to this email directly or view it on GitHub .