>>287
「前提A⇒結論P」を証明するのに、「（Aかつ¬P）⇒矛盾」を示すのが背理法。
これが示せれば　¬（Aかつ¬P)　即ち　¬AまたはP　を示したことになるので
それはA⇒Pを示したことになる。