什麼叫同一法

同一法的定義是：如果一個命題的題設和結論都是唯一的事項時，那麼它和它的逆命題同時有效。這稱為同一法則。在符合同一法則的前提下，代替證明原命題而證明它的逆命題成立的一種方法叫做同一法。符合同一法則的前提下，代替證明原命題而證明它的逆命題成立的一種方法叫做同一法。同一法是間接證法的一種。當要證明某種圖形具有某種特性而不易直接證明時，使用此法往往可以克服這個困難。