举报反馈 - 哈姆特《逻辑语言与意义》-16-第二章命题逻辑：2.3命题逻辑语言，四条递归法证明所有公式具有某性质；用归纳证明公式复杂度；算子深度