Presupposition can be informally defined as an inference or proposition whose truth is taken for granted in the utterance of a sentence. Its main function is to act as a precondition of some sort for the appropriate use of that sentence. This background assumption will remain in force when the sentence that contains it is negated.