逻辑吧 关注:115,447贴子:602,621
  • 1回复贴,共1

虽然很low,还是要问出来,普通逻辑学三段论推理,星空海夜镇

只看楼主收藏回复

一般规则之一:前提中有一否定结论也必须是否定 是否可以推出结论否定则前提中必然有一否定?要考试啦,给个答案吧


1楼2014-12-17 12:47回复
    ┐p→q,┐p ├ q
    p→┐q,p ├ ┐q


    IP属地:广东3楼2014-12-17 18:58
    回复