On the Notion of Proposition in Classical and Quantum Mechanics