11问答网
所有问题
当前搜索:
离散数学用蕴含表示非
离散数学
符号<->,->,合取、析取的先后运算顺序?(例*/先于+-)
答:
。。。知道了还问。。。一元运算优先于二元运算,先以非运算优先级最高,然后是合取、析取、
蕴含
、双蕴含,你说的十分正确 另外量词(全称量词、存在量词)的优先级要高于这些运算符。
离散数学
中的加法式是什么?求解
答:
这是一种永真
蕴含
式 P ⇒ P∨Q 加法式
请问怎样判断
离散数学
中一阶逻辑式中各符号的优先级?
答:
否定、合取、析取、
蕴含
、等价
什么是
离散数学
的子句,请给出例子。
答:
原子或原子的否定成为文字 有限个文字的析取式成为一个子句:P(自身与自身析取),P析取Q(那个符号我输入法不允许,只能这样了)有限个短语的析取式成为析取范式
离散数学
中的布尔矩阵相乘是怎么计算的?
答:
布尔矩阵相乘:1、第一个矩阵中第一行的各元素与第二个矩阵中第一列的各元素对应之积的和,作为乘积矩阵的第一行第一列元素;2、第一个矩阵中第一行的各元素与第二个矩阵中第二列的各元素对应之积的和,作为乘积矩阵的第一行第二列元素;3、第一个矩阵中第一行的各元素与第二个矩阵中第三列...
离散数学
中如何判断非负整数列是否可图化
答:
非负整数列各个数相加为偶数即可图化。(但此种情况下不一定能简单图化。)
离散数学
求证明(A-B)-C=A-(B∪C)过程
答:
用A'
表示 非
A,A-B=AB',所以 (A-B)-C =(A-B)C'= AB'C'= A(B+C)'=A-(B+C),命题成立。
速求,证明
离散数学
题
答:
1)┐s 前提引入 2)q→s 前提引入 3)┐q 1)2)拒取式 4)(p∧┐q)→r 前提引入 5)p 前提引入 6)p∧┐q 3)5)合取 7)r 6)4)假言推理 故结论成立。
离散数学
推理(p且Q)->R 怎么推出非P
答:
先否定R,可以推出并非p且q,即非p或者非q,最后再肯定q,就可以推出非p了
离散数学
中a=>b和a->b有什么区别?
答:
-> 是一个连接词,而a->b 是一个命题,未知其是否是真是假。=> 是重言
蕴涵
,a=>b
表示
a 重言蕴涵 b,即 a->b 是一个真命题。
棣栭〉
<涓婁竴椤
26
27
28
29
31
32
33
34
35
涓嬩竴椤
灏鹃〉
30
其他人还搜