求证某一个命题为真的方法是为唯一的。

“如果A那么B；如果C那么B，如果A那么C”这是连锁推理的形式之一。

判断题“如果A那么B；如果C那么B，如果A那么C”这是连锁推理的形式之一。

复杂的推理形式都是建立在基本复合命题和他们的基本推理的基础上的。

判断题复杂的推理形式都是建立在基本复合命题和他们的基本推理的基础上的。

直接起作用的是易位推理。

判断题直接起作用的是易位推理。