演绎法吧 关注:2,285贴子:12,358
  • 0回复贴,共1

关于演绎法,自然推理的难题求教

只看楼主收藏回复

求A∧(B∨C)→(A∧B)∨(A∧C)的自然推理过程。并说明假设的来源和推理过程。有点不明白,求指教


来自Android客户端1楼2018-03-09 18:10回复