“反證法”共收錄1個(gè)近義詞（逆證法），反證法的意思是：反證法是一種數(shù)學(xué)推理方法，通過假設(shè)命題的反命題為真，然后推導(dǎo)出與已知事實(shí)相矛盾的結(jié)論，從而證明原命題為真。它常用于證明某些命題的唯一性或存在性。在邏輯學(xué)和數(shù)學(xué)領(lǐng)域被廣泛應(yīng)用。