It is illogical for a statement to be both true and not true