Translations:The logic of classical language/90/en

The procedure consists in showing that the assumption that $p$ is false leads to a logical contradiction. Thus the proposition $p$ cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called demonstration by absurdity