直接証明とは、初めに与えられた仮定から順次に推論を進めて結論を導く証明法のこと。即ち P⇒Q を証明したいとき、P⇒Q を直に証明する方法を言う。例としては定言的三段論法や仮言三段論法など。これに対して間接証明とは、ある事柄が正しいことを真偽が明

続きを読む