间接推演（又称间接证明或反证法）就是把要推出的结论加以否定后作为前提与原来前提一起推出逻辑假形式，从而确定结论的有效性。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。