计算理论与符号逻辑 教学课件 ppt 作者 张兴元 王元元 宋丽华cl-15.pdfVIP

1 1 1 DΓ Γ ⇒ {D }Γ‘’ proves D Γ D Γ D 1 1 DΓ Γ ⇒ {D }Γ‘’ proves D Γ D Γ D 2 T‘’ theory T = {A |T A} 1 1 DΓ Γ ⇒ {D }Γ‘’ proves D Γ D Γ D 2 T‘’ theory T = {A |T A} 3 TΓΓ T = {A |Γ A} T‘ ’ axiomatizable Γ T‘’ finitely axiomatizable