离散数学非p是什么公式类型

① 离散数学，求大佬解答

用p'表示非p,p+q表示p∨q,pq表示p∧q.
A=(p--->q)'(p+q)
=(p'+q)'(p+q)
=pq'(p+q)
=pq'.
可以吗？

② 离散数学中与非和或非是什么意思

qˇ非（（非pˇq）^p）等价于滑逗qˇ非（非p^q）ˇ(q^p)(分配律)等价于qˇ非(0ˇ(q^p))(矛盾律槐指)等价于qˇ(非qˇ非p)(德 摩根律信明卖)等价于（qˇ非q）ˇ非p（结合律）等价于1ˇ非p(排中律)等价于1（零律），所以此式为永真式。，。

③ 列真值表判断公式 ┐(p→Q) ∧Q的类型

。。。离散数学山此陆
这逗顷个不难啊
这样
P
Q
非(
P->扒纯Q)
非(
P->Q)
且Q
T
T
F
F
T
F
T
F
F
T
F
F
F
F
F
F
所以是矛盾式(永假式)

④ 为什么非p蕴含q是真的很难理解，求解释，离散数学

"P→Q"真假值的这种取法也有人为因素，表现在：
（1） 根据P→Q真假值取法的定义可以看出，若P为假，不论Q是否为真，则P→Q为真。我们来看命题
如果月亮从西边出来，则太阳也从西边出来。
由定义这是一个真命题，但这使人感到有点不自然，既然月亮不会从西边出来，我们完全可以认为这个命题毫无用处或毫无意义。但是，我们感兴趣的主要是（数学）推理和证明的方法，在这种情况下，命题P→Q真的意义在于我们能从P真推出Q真，而没有必要追求从P假能推出什么来。例如，关于整数的如下命题：
对某丛蠢散个实数n，如果n > 2，那么n2 > 4。渗氏
这是个真命题，而无须考虑命题变项取什么值。
（2） 蕴涵词可以连接两个以上意义毫不相档橡干的命题，只要前件和后件满足P?Q为真的定义所规定的条件，我们便可说"P→Q为真"。P→Q真假的这种规定也引起了争论。例如：
如果地球停止了转动，则大熊猫产在中国。
但注意到，我们关心的是推理，关心能否从P真推出Q真，关心各命题之间实际意义是否有联系。

⑤ 离散数学范式问题,急,求详解

真值表法：
p q ┐p q→┐p ┐(q→┐p) ┐(q→┐p) ∧┐p ┐p→q ┐q∨p (┐p→q )→(┐q∨p)
0 0 1 1 0 0 0 1 1
0 1 1 1 0 0 1 0 0
1 0 0 1 0 0 1 1 1
1 1 0 0 1 0 1 1 1
公式┐(q→┐p) ∧┐p 从真值表中看出 其真值为0所对应大项编码有M00，M01，M10，M11所以与
┐(q→┐p) ∧┐p 等价的扒滑主合取范式为M00∧M01∧M10∧春饥腊M11=∏(0,1,2,3)；肢纯
公式(┐p→q )→(┐q∨p)从真值表中看出其真值为1的小项有m00，m10，m11三项，所以与
(┐p→q )→(┐q∨p)等价的主析取范式为m00∨m10∨m11=∑(0,2,3)

⑥ 离散数学 推理（p且Q）->R 怎么推出非P

先否定R,可以推出并非p且q,即非p或者非q,最后再肯定q,就可以推出非p了