离散数学-一阶逻辑中 拒取式:(A→B)∧非B 等价于 (A→非B)∧B 以上两个公式 都能够推理出- 非A?
来源:学生作业帮助网 编辑:作业帮 时间:2024/10/20 18:18:46
xRrP}3)y@gU[}h-I
MbZnw+O2wݳgWguV#Mc#V
eJnoM]C3;J
$(K-0Y"qAŜ>
`
&j/dL>.upǘ),/řUDx?aT*R%rP*6ȥđ}tF ކ6w
>*:JarKG)̋Tf `(!O#cķ%O(G@eն9h+u>L%TaaRЏҴG&ao]_:F[kvA2oO3Z. B.n5[֞Y#x/_%I*3La_