排中律

两种表达方式没有绝对的对或错，则反证法就是用来证明对错的