离散数学
离散数学 函数与谓词的关系？
函数与谓词的关系？
函数符号和谓词符号的区别
在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句
函数符号:用带或不带下标的小写英文字母x,y,z,...来表示,当个体域D给
出时,n元函数符号f(x,y,z)是一个 D^n-D 的函数
谓词符号：用带或不带下标的大写英文字母F,G,H来表示,当个体域D
给出时,n元谓词符号F(x,y,z)是一个D^n-{0,1}的函数
什么是题目逻辑？
是现代逻辑较简单、较基本的组成部分，它不考虑把命题分析成个体词、谓词和量词等非命题成分的组合，只研究由命题和命题联结词构成的复合命题、特别是研究命题联结词的逻辑性质和推理规律。
命题逻辑分为经典命题逻辑和非经典命题逻辑，后者如构造逻辑、模态逻辑等逻辑系统中的命题逻辑部分。历史上最早研究命题逻辑的是古希腊斯多阿学派的哲学家。现代对命题逻辑的研究始于19世纪中叶的G.布尔。G.弗雷格则于1879年建立了第一个经典命题逻辑的演算系统。
离散数学中的CP规则，是怎么运用的啊？
具体运用方法就是：
（1）使用P规则，把R当作一般前提（就像S一样）来使用；但应加以说明：附加前提；
（2）当推导出C之后，可直接写出最后的结论：R→C；这一步的说明是：CP规则
先说一下，即使不用CP规则，只用P规则和T规则（即直接证明法）也可以实现所有证明。引入CP规则，只是为了简化证明过程。不过CP规则的适用范围不像P、T规则那样具有普遍性——当被证明的结论本身是一个条件复合命题时，才会用到CP规则。其内容是：
若要证明：(S)gt(R→C)；——S是前提，R→C是结论；
只需证明：(S∧R)gt(C)；——即：把R当作附加的前提，引入推理过程；
离散数学代替规则举例？
运用方法就是：1、附加前提规则，如果从给定前提集合Γ与公式p（附加前提）中推出结论s，则给定前提Γ，能推出p蕴含s。1、使用P规则，把R当作一般前提（就像S一样）来使用；但应加以说明：附加前提。2、当推导出C之后，可直接写出最后的结论：R→C；这一步的说明是：CP规则。离散数学的学科内容1、集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。2、图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。3、代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。4、组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。5、数理逻辑部分：命题逻辑、一阶谓词演算、消解原理。离散数学被分成三门课程进行教学，即集合论与图论、代数结构与组合数学、数理逻辑。教学方式以课堂讲授为主， 课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。