联言推理有两种推理式：分解式和___。
组合式
暂无解析
“一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了()。
必要条件假言判断“p←q”为假，那么一定为（）
从PEM、SIM可得结论（）
“必然p”与“不可能p”之间的关系应该是()。
“p→q”与“p←q”这两个逻辑公式中，它们（）
