6.5.5 Исчисление предикатов

Условие: Указать все подформулы, а также области действия квантификаций, свободные и связанныя всех переменных в следующих формулах: \[ S(t, w) \vee \exists x \forall w[(Q(x, w) \rightarrow P(x)) \rightarrow R(w)] \]