举报反馈 - 哈姆特《逻辑语言与意义》-42-第四章证明和推理：4.2语义推理关系-4.2.1语义有效性：合适，有效，语义后承，命题有穷，谓词无穷，丘奇定理