Professional Documents
Culture Documents
Rules for quantifiers (to be added to the rules for propositional logic)
∀ξα(ξ) α(τ )
(∀E) .. (∃I) ..
. .
α(τ ) ∃ξα(ξ)
∃ξα(ξ)
..
α(δ) .
(∀I) .. (∃E) α(δ)
.
..
∀ξα(ξ) .
γ
γ
In all these rules, α(τ ) or α(δ) is an instance of the corresponding quantified wff; τ can be any kind of
term, but δ must be a dummy name.
The τ s can be any terms. α(τ2 ) is the result of replacing some or all occurrences of τ1 in α(τ1 ) by τ2 .