10.3969/j.issn.1672-3767.2005.04.024
谓词逻辑推理中证明方法的判定
数理逻辑是<离散数学>的难点之一.主要有两个原因,其一是内容比较抽象且方法较独特;其二是题型以证明题居多,大多数证明题涉及到的知识面较广,习题较难.而谓词逻辑是命题逻辑的推广,其灵活性就更大,故很难掌握.本文总结了几种谓词逻辑推理的判定方法和注意事项,以帮助掌握证明题的证明.结合适当的例题讲解,帮助学生进行逻辑思维能力的训练,培养分析问题和解决问题的能力.
命题逻辑、谓词逻辑、存在量词、全称量词
24
O158(代数、数论、组合理论)
2006-02-23(万方平台首次上网日期,不代表论文的发表时间)
共3页
84-86