Rule for "∀" in System GHP: "∀ωn+mφ(ω/α)"

---

The third formation rule of Grice's natural deduction system (p. 126 of Davidson/Hintikka) concerns

∀

and it reads:


"If

φ_[n]

is a formula,

∀ω_n+mφ(ω/α)

is a formula."

with the caveat: "substitutions are to preserve subscripts".