<*logic*>

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