必要条件假言命题推理的有效式之一是否定____式。

前提或者结论包含有选言判断的推理是____。

根据模态对当关系推理：若“必然p”为真，则“可能p”为____。

前提或者结论包含有选言判断的推理是___。

联言推理的两种主要推理形式是____和合成式。

假设┐p→q与┐q均取值为真，则p的真假情况为_______。

必要条件假言推理肯定后件，就要肯定____。

必要条件假言推理否定前件就要____后件。

联言推理两种有效推理形式是____和合成式。

所谓归谬法，就是为了反驳某个判断，首先假定它是真的，然后由此推出荒谬的结论，最后根据 得出该判断是假的。