 It tells that if a false statement is reached via a valid logic from an assumed statement, then the assumed statement is a false statement.This fact is used in proof by contradiction.Proof by contradiction is formulated as formula_6, where formula_7 is a logical contradiction or a "false" statement (a statement which truth value is "false").