This document discusses the concepts of presupposition and entailment in language. It defines presupposition as what a speaker assumes to be true prior to making an utterance, whereas entailment is what logically follows from an assertion. The document examines different types of presuppositions including existential, factive, and lexical presuppositions. It also discusses properties of presuppositions like constancy under negation. Entailment is defined as a logical relationship where one proposition necessarily follows from another. The relationship between presupposition and entailment is explored, noting they can be distinguished based on negation tests and whether sentences or speakers have them.