>
其他
>
【急】离散数学中,当结论为析取式时,如何使用附加前提证明法
如题.
人气:461 ℃ 时间:2020-05-27 18:18:15
解答
先用等值式“A→B等值于┐A∨B”把结论转换为蕴涵式证明要写过程,把┐A∨B转化成A→B,把结论引入的理由是什么?像证明时理由有,前提引入,假言推理什么的?结论是蕴涵式A→B时,可以把A作为附加前提引入,证明结论是B。证明过程是利用推理规则构造的,例如假言三段论、析取三段论、假言推理、拒取式等等,去翻翻书吧
推荐
求主析取范式
离散数学中怎样用主析取范式求主合取范式
离散数学怎样判断合取范式和析取范式?
离散数学: p∧q∧r是主析取范式吗 p∨q∨r是主合取范式吗 请说明为什么?
【离散数学】析取范式和合取范式怎么转化?
荷叶挨挨挤挤的,像一个个碧绿的大圆盘.这个句子抓住( )特点
偶数,奇数,质数,合数组成的算式有哪些,比如:质数×质数=合数······
工程数学概率统计简明教程的一道题
猜你喜欢
I could swim at the age of six 同一句转换 I could swim ______ _______ ______ six
抛物线Y=3X平方-X-4的交点为A和B,顶点C,则三角形ABC的面积是多少?
判断题中的两个量是否成正比例,并说明理由 长方形的长一定,面积和宽._.
如何理解“人,成了茫茫的一片;声,成了茫茫的一片……”这句话?(选自《安塞腰鼓》)
∫ln(x^2+1)dx 怎么计算需要计算过程
为什么保险丝要选择电阻率大的?
成语填空()成()变.
sin12分之5派等于多少cos12分之5派得多少.
© 2024 79432.Com All Rights Reserved.
电脑版
|
手机版