逻辑证明,讲得清楚一点儿,充分条件假言推理,为什么是“肯定前件”和“否定后件”必要条件假言推理,为什么是“否定后件”和“肯定前件”

Question

逻辑证明,讲得清楚一点儿,
充分条件假言推理,为什么是“肯定前件”和“否定后件”
必要条件假言推理,为什么是“否定后件”和“肯定前件”

Answer 1

充分条件假言推理的前提中有一个充分条件假言命题,
充分条件假言命题断定前后件的关系是:
有前件一定有后件;无前件未必无后件;
有后件未必有前件;无后件一定无前件.
因此,充分条件假言推理的规则是
肯定前件可以肯定后件;否定前件不能否定后件;
肯定后件不能肯定前件;否定后件可以否定前件.
根据上述规则,充分条件假言推理只能是“肯定前件”或“否定后件”.
必要条件假言推理的前提中有一个必要条件假言命题,
必要条件假言命题断定前后件的关系是:
无前件一定无后件;有前件未必有后件;
无后件未必无前件;有后件一定有前件.
因此,必要条件假言推理的规则是
否定前件可以否定后件;肯定前件不能肯定后件;
肯定后件可以肯定前件;否定后件不能否定前件.
根据上述规则,必要条件假言推理只能是“否定前件”和“肯定后件”.
你题目中这里写错了