“或然性推理”的对称。从真前提能够必然地推出真结论的推理。包括：各种直接推理，三段论，关系推理，假言推理，选言推理，完全归纳推理，科学归纳推理。

“直接推理”的对称。前提有两个或更多判断的推理。主要包括：三段论，纯粹关系推理，混合关系推理，纯粹假言推理，假言直言推理，选言直言推理，假言选言推理，各种归纳推理，类比推理。

“直接证明”的对称。通过断定相关判断之假来断定论题之真的证明方法。有反证法和选言证明两种。