In modern philosophy, mathematics, logic and linguistics, proposition (judgment) refers to the semantics of a judgment sentence (the concept of actual expression), which can be defined and observed. Proposition refers not to the judgment sentence itself, but to the semantics expressed. When different sentences have the same semantics, they express the same proposition. In mathematics, a declarative sentence to judge something is generally called a proposition. The proposition you ask here should be linguistic.