此处是对后件否定,得到前件也不成立,因此叫做拒取式。 析取三段论(A∨B)∧¬B⇒A 析取三段论 我要么吃苹果,要么吃梨,已知我没吃梨,那么一定吃了苹果。假言三段论等价三段论(A→B)...
10-19 502
原神小米服云玩
爬墙云翻
2023-10-19 02:36
502
墨鱼
发表评论
评论列表