二难推理破坏式的主要逻辑机理，是运用假言推理的_____式。

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

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

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

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

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

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

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

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

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