Tractatus Logico-Philosophicus by Ludwig Wittgenstein + comments  by Maarten Maartensz   


3.12 I call the sign with which we express a thought a propositional sign. And a proposition is a propositional sign in its projective relation to the world.

Or out otherwise: propositions represent thoughts that represent facts or nothing in the world.