否定前件式是无效的论证形式。
“否定前件就要否定后件,肯定后件就要肯定前件” 是充分条件假言推理的规则。
“肯定前件就要肯定后件,否定后件就要否定前件”是充分条件假言推理的规则。
前件
某产生式系统中的一条规则:A(x)B(x),则前件是A(x),后件是()。
在假言命题中,有前件就一定有后件,没有前件不一定没有后件的逻辑关系是()
“否定前件就要否定后件,肯定后件就要肯定前件” 是必要条件假言推理的规则。
某产生式系统中的一条规则:A(x)→B(x),则前件是(),后件是()
“肯定前件就要肯定后件,否定后件就要否定前件”是必要条件假言推理的规则。
必要条件假言推理肯定前件就要肯定后件。