Cтраница 4
Очевидно, что каждая переменная входит в каждую из подформул F Л и F Ai не более г - 1 раз. [46]
Если УУ ( A) g ( у) - подформула /, то с ф edom ( A, g) влечет за собой / ( g ( с / у)) истина. Эти три условия служат тем же целям, что и соответствующие условия на безопасную формулу исчисления кортежей. [47]
Единственное, чем отличается i и I - это интерпретация подформул с кванторами. Определим /, модифицируя такие подформулы. [48]
Единственное, чем отличается i и / - это интерпретация подформул с кванторами. Определим /, модифицируя такие подформулы. [49]
Подслово формулы А, которое само является формулой, называется подформулой формулы А. [50]