Определённо не скажу. Здесь я просто взял, что плохо лежало.
Ну, значит, берём любую тавтологию логики предикатов первого порядка и навешиваем кванторы (любые?) по предикатным переменным?
Ага, до замыкания формулы. (И можно, конечно, навешивать кванторы по переменным, которые свободно не входят, но я подумал, что вам были интересны не эти случаи.)