什么叫同一法（逆命题证明命题法）

同一法的定义是：如果一个命题的题设和结论都是唯一的事项时，那么它和它的逆命题同时有效。这称为同一法则。在符合同一法则的前提下，代替证明原命题而证明它的逆命题成立的一种方法叫做同一法。符合同一法则的前提下，代替证明原命题而证明它的逆命题成立的