关于离散逻辑推演的一个问题┠A→┓┓A怎么推出来的啊?
3个回答
用PN规则倒是好推
│○¬¬A
││○¬A
│││¬¬A
││A
│¬¬A→A
可是用别的逻辑怎么推出来?
相关问题
麻烦大家讲讲A的分子式是怎么推出来的啊?
关于往返相遇模型问题的公式是怎么推出来的?
a^0=1(a≠0)是怎么推出来的?
a^0=1(a≠0)是怎么推出来的?
怎么推出来的
关于数学化简这怎么推出来的?
关于光的干涉公式是怎么推出来的?
f(ab)=af(b)+bf(a)是怎么推出来的?
学霸们这道题怎么写?推出来的公式是什么?怎么推出来的?
关于线性代数问题?公式的推到?|(A-E)^-1|=1/|A-E| 该公式的推到过程?