((p→q)∧﹃p)→﹃q ……(中间省略推理,得到结果)
来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/10/07 01:24:00
((p→q)∧﹃p)→﹃q ……(中间省略推理,得到结果)
p V ﹃q=M01 --(这个M01怎么得到的?)
m00 V m10 V m11 =Σ(0,2,3) --(这一步是怎么出来的?)
我是自学离散的,这些东西是从一个例题上摘抄的。
果断没看明白。
p V ﹃q=M01 --(这个M01怎么得到的?)
m00 V m10 V m11 =Σ(0,2,3) --(这一步是怎么出来的?)
我是自学离散的,这些东西是从一个例题上摘抄的。
果断没看明白。
1、M01是两个命题变项p、q组成的极大项中的一个,p V ﹃q的成假赋值是01,那么这个极大项就可以表示为M01或M1(就是把01转换成十进制了).
m00、m10、m11都是极小项,其下标00、10、11代表它所对应的合取式的成真赋值,也可以转换为十进制,表示为m0、m2、m3.
极大项与极小项在主析取范式与主合取范式那个地方,任何书上都有,重要内容.
2、如果一个命题公式的等值的主合取范式已知了,那么很容易的就可以求出主析取范式.假设命题公式中有n个命题变项,那么主析取范式中的极小项的下标就是从所有的n位二进制数中去掉主合取范式中的所有极大项的下标后所剩余的.对于本例,两位二进制数是00、01、10、11,去掉了主合取范式中的01,剩余的00、10、11对应的极小项m00、m10、m11的析取式就是主析取范式.
反之亦然.
m00、m10、m11都是极小项,其下标00、10、11代表它所对应的合取式的成真赋值,也可以转换为十进制,表示为m0、m2、m3.
极大项与极小项在主析取范式与主合取范式那个地方,任何书上都有,重要内容.
2、如果一个命题公式的等值的主合取范式已知了,那么很容易的就可以求出主析取范式.假设命题公式中有n个命题变项,那么主析取范式中的极小项的下标就是从所有的n位二进制数中去掉主合取范式中的所有极大项的下标后所剩余的.对于本例,两位二进制数是00、01、10、11,去掉了主合取范式中的01,剩余的00、10、11对应的极小项m00、m10、m11的析取式就是主析取范式.
反之亦然.
((p→q)∧﹃p)→﹃q ……(中间省略推理,得到结果)
形式逻辑判断推理证明(p←q)∧非p→非q是有效性 急求解题过程与结果
构造下面推理的证明:(1)前提:p->p.结论:p->(p∧q).(2)前提:p->q,qs,st,t∧r.结论:p∧q
逻辑学推理用归谬赋值法判断推理((p→q)∧(r→s)∧(q∧s))→(p∧q)是否有效
试证明:P→Q=〉P→(P∧Q).
已知多项式P,Q,计算P-Q.某同学做此题时误将P-Q看成了P+Q,求得其结果为P+Q=3m的平方-2m-5,…(补充)
用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r
构造推理证明:前提p→q,非r→p,非q,结论r
(P→(Q∨┐R))∧┐P∧Q
求公式(Q→P)∧(┓P∧Q)的主合取范式
在自然推理系统中构造下面推理的证明:前提:p→r,q→s,p∧q,结论:r∧s
P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式