A membership function is a curve that defines how each point in the input space is mapped to a membership value between 0 and 1, representing the degree of truth as an extension of valuation. It is a fundamental component of fuzzy logic systems, enabling approximate reasoning and decision-making in complex, uncertain environments.