一種邏輯上的推證法。對於一不易證明的命題，先證明其否定命題為矛盾，才肯定此命題為真的邏輯推證法。
《重編國語辭典修訂本》版本編號：2015_20251229
© 中華民國教育部 (Ministry of Education, R.O.C.)
使用說明