Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation | Synapse