某产生式系统中的一条规则：A（x）B（x），则前件是A（x），后件是（）。
必要条件假言判断的后件同时也是前件的充分条件。
必要条件假言推理肯定前件就要肯定后件。
二难推理简单构成式的两个假言前提的前件（）、后件（），简单破坏式的两个假言前提的前件（）而后件（）。
充分条件的逆否推理就是当否定一个充分条件的后件之后，也一定要否定它的前件
“等值”的真值规则是：只有当前件和后件都具有不同的真值时才为真，否则为假。（）
“否定前件不能否定后件，因为前对后仅仅是充分的”这句话是（）的。
一个充分条件命题只要它的条件一旦为假，那么不管它的后件怎么样，这个句子就是假的。（）
肯定后件式是有效的论证形式。()
假言命题中，前件是表示条件的部分，后件是表示结果的部分。（）
充分条件推理中肯定前件就要肯定后件，否定后件不一定要否定前件。
充分条件的推理中否定前件不能否定后件，那么肯定后件时（）。
充分条件的推理否定前件能否定后件。
充分条件的推理肯定前件就要肯定后件。
充分条件的逆否推理就是当否定一个充分条件的后件之后，也一定要否定它的前件。（）
充分条件的假言命题是指后件是前件的充分条件的假言命题。
否定前件不能否定后件，因为前对后仅仅是充分的。
必要条件的推理否定前件就要否定后件。
必要条件的推理肯定前件能肯定后件。
必要条件的假言推理中否定前件就要否定后件，肯定后件就要肯定前件。（）
必要条件的假言推理中否定前件就要否定后件，肯定后件就要肯定前件。
产生式系统前件就是前提，后件是结论或动作。产生式规则的语义是:如果前提满足，则可得结论或者执行相应的动作。
在假言命题中有前件就一定有后件，没有前件不一定没有后件的逻辑关系是（)。
