Saturday, November 16, 2013
Domain Closure
Induction for finite languages is trivial. We simply use the Domain Closure rule of inference. For a language with object constants σ1,⋯,σn,
ϕ[σ1]⋯ϕ[σn]∀ν.ϕ[ν] |
More at Introduction to Logic.
Induction for finite languages is trivial. We simply use the Domain Closure rule of inference. For a language with object constants σ1,⋯,σn,
ϕ[σ1]⋯ϕ[σn]∀ν.ϕ[ν] |
More at Introduction to Logic.