有关离散数学P->(Q->P)原题是这样的非P->(P->Q)P->(Q->P)请问是怎么样证明的?

相关推荐

• 设P、Q是两个非空集合,定义P-Q=｛x|x∈P,且x不属于Q｝,求P-(P-Q),并猜测P-(P-Q)与Q-(Q-P)的关系
• 设P、Q是两个非空集合,定义P-Q=｛x|x∈P,且x不属于Q｝,求P-(P-Q),并猜测P-(P-Q)与Q-(Q-P)的关系
• 用C或C++编写程序,要求：输入命题公式,给出它的主合取范式和主析取范式.用C或C++编写程序,要求：输入命题公式,给出它的主合取范式和主析取范式.例如运行时,从键盘输入：p∧q∨r程序能根据这个输入求出主析取范式：p∧!q∧r) ∨(!p∧q∧r) ∨(p∧!q∧r) ∧p∧q∧!r) ∨(p∧q∧r)同样得到主合取范式,∨可用or或&代替,∧可以用and 或&&代替输入：(p->q)->q得到主析取范式：(p∧!q)∨(!p∧q)∨(p∧q)p∨q∨r (主合取范式)以下是原题：1、设计并开发一个能帮助学习数理逻辑的小软件.2、结合离散数学的相关知识,掌握VC等集成开发环境,开发一个能辅助教学的小软件.1、输入命题公式,该软件能判断公式的类型,并列出真值表.2、输入命题公式,给出它的主合取范式和主析取范式.1、使用VC等集成开发环境设计并开发出一个辅助教学的小软件.2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力者可扩充数理逻辑的其他内容,譬如推理系统的构造和证明,求谓词
• 有关离散数学P->(Q->P)原题是这样的非P->(P->Q)P->(Q->P)请问是怎么样证明的?
• 珠宝店失窃案的离散数学逻辑推理某珠宝店失窃后,分析出以下事实：1.营业员A或B盗窃了珠宝 2.若A作案,则作案时间不在营业时间； 3.若B提供的证词正确,则货柜没有上锁； 4.若B提供的证词不正确,则作案时间在营业时间； 5.货柜上了锁； 试用推理规则,推理理论的格式推断出案情真相.如下题目格式：(P∨Q)/\(P->B)/\(Q->S)=>S∨R 证:1)P∨Q P 2)┒P->Q T(1) E 3)Q->S P 4)┒P->S T(2),(3)I 5)┒S->P T(4) E 6)┒P->R P 7)┒S->R T(5),(6)I 8)S∨R T(7) E结果知道是“B作案”，需要的是用公式表达的推理过程，
• 关于图的题已知：“在一个n阶图中,若从顶点u到顶点v（u不等于v）存在通路,则必存在从u到v的初级通路且路长小于n－1.” 又有“n阶图中,任何初级回路的长度不大于n.” 我的问题是：初级通路包括初级回路,那为什么在n阶图中,任何初级回路的长度是不大于n,而不是不大于n－1呢?
• 离散数学p→(p→q)p→q这个怎么推?还有这个p∨p,p∧p值是多少