The Minimal Logic of Propositional Contents of Thought: a Completeness Theorem