离散数学第五版第一章耿素云屈婉玲张立昂编著.pptVIP

3.2自然推理系统P 例5:用归谬证明法证明下列推理： 前提：p→(?(r∧s)→ ? q), ? s,p 结论： ? q * * * * * 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。是研究计算机科学的基本数学工具，离散数学是以离散量作为其研究对象，在离散数学中非常重视“能行性”问题的研究，要解决一个问题，首先要证明此问题解的存在性，同时要找出得到此问题解的步骤来，而且其步骤必须是有限的、有规则的。这就构成了离散数学的特征。在计算机科学中，离散数学与数据结构、操作系统、逻辑设计、算法分析、编译原理、人工智能、系统结构等课程联系紧密。 例6：用公式的主析取范式判断公式的类型 2.2析取范式与合取范式 ?(p?q)?q p?(p?q) ?(p?q)?q ??(?p?q)?q ?(p??q)?q ?0 p?(p?q) ??p?(p?q) ?(?p??q)?(?p?q)?(p??q)?(p?q) ?1 析取范式与合取范式 （3）判断两个公式是否等值。 例7：判断下列公式是否等值 p (p?q)?(p??q) p ?p?(q??q) ?(p?q)?(p??q) 所以两个公式等值 析取范式与合取范式 （4）应用主析取范式分析和解决实际问题。 例8：某科研所要从3名科研骨干A，B，C中挑选1～2名出国进修。由于工作需