 If formula_7 is reached from formula_1"P" via a valid logic, then formula_10 is proved as true so p is prove as true.An alternate form of proof by contradiction derives a contradiction with the statement to be proved by showing that formula_1"P" implies "P".This is a contradiction so the assumption formula_1"P" must be false, equivalently "P" as true.