Propositional Reasoning that Tracks Probabilistic Reasoning