Contradiction refers to a statement that is false by definition of its form