第69页 1.7.5 证明策略

一般情况下，如果语句是条件语句，就应该首先尝试直接证明；如果这样不行，就尝试间接证明。如果这些方法都不行，就尝试归谬证明。