野矢茂樹『新版 論理トレーニング』（１３） 今回は、第９章 推論の技術 第３ 背理法 である。 背理法とはどういうものか。Wikipediaは、次のように説明している（ア）。 P を仮定すると、矛盾が導けることにより、P の否定を結論付けることは否定の導入とい…