1. In truth-functional propositional logic, any statement.
2. In predicate logic, a closed wff, as opposed to a propositional function or open wff.
3. In logic generally (for some), the meaning of a sentence that is invariant through all the paraphrases and translations of the sentence. See compound proposition, contingency, contradiction, simple proposition, tautology Recommended Reading: Gabriel Nuchelmans, Judgment and Proposition (Royal Netherlands Academy, 1983) and Philip L. Peterson, Fact, Proposition, Event (Kluwer, 1997).
based on [Glossary of First-Order Logic], [A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google