Some Properties 1.△ Is consistent. 2.T∈△nC△ n+1 r is complete 4.f△ r HA then there exists n∈ N such that △n}A 5.A∈△rif△r}A 6.△ r Is consistent Logic in Computer Science- p 5/17Some Properties 1. ∆n is consistent. 2. Γ ⊆ ∆n ⊆ ∆n+1 ⊆ ∆Γ 3. ∆Γ is complete. 4. If ∆Γ ` A then there exists n ∈ N such that ∆n ` A. 5. A ∈ ∆Γ iff ∆Γ ` A 6. ∆Γ is consistent. Logic in Computer Science – p.5/17