早教吧 育儿知识 作业答案 考试题库 百科 知识分享

关于离散逻辑推演的一个问题┠A→┓┓A怎么推出来的啊?

题目详情
关于离散逻辑推演的一个问题
┠A→┓┓A
怎么推出来的啊?
▼优质解答
答案和解析
用PN规则倒是好推
│○¬¬A
││○¬A
│││¬¬A
││A
│¬¬A→A
可是用别的逻辑怎么推出来?
看了关于离散逻辑推演的一个问题┠A...的网友还看了以下: