（）是按照一定的逻辑规定，即以若干定理、公理、定律为前提，直接推导出新结论的推理方法。

一个二难推理，若其推理形式有效，则（）。

类比推理和简单枚举归纳推理都是前提（）结论的推理。

“所有A都不是B，所有B都是C”为前提，进行三段论推理，其正确结论是（）。

以“有些刑事案件是不公开审理案件”为前提进行命题变形直接推理，可推出的结论有（）.

以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）

归纳推理是一种（）推理，它是以个别的知识为前提推出一般知识为结论的推理模式。

（　）是从一般性知识的前提推出个别性知识的结论的推理。即从一般到特殊的推理。

（　）是以个别性知识为前提，推出一般性知识为结论的推理。即从特殊到一般的推理。

以“A、B、C三人中至少有一个了解案情”和“B不了解案情”这两个判断为前提，能必然推出的结论是（）。

“一个结论假的三段论，或者前提假，或者推理形式错误。这个结论假的三段论前提是假的，所以它的推理形式没有错误。”这一个推理属于何种推理？是否正确？为什么？

试例示具有下列命题形式和推理形式的命题或推理.
1．所有S都不是P。
2．要么r，要么s。
3．如果p，那么q；非q；所以非p。
4．所有M都是P，S都是M，所以S都是P。