what is a good prior over sentences in propositional logic?