Tower of Contraposition

For PToH Difficulty: Extreme The law of contraposition in mathematical logic: P -> Q is the same as not Q -> not P The name refers to the descending nature of the tower, a reversal of the usual ascending type. Oh and there are many advanced techniques used so good luck.