Genuine entailment requires necessity: P entails Q means Q is true in all models where P is true. Ve...
This proposition has not been edited since the history system was added.