Logical entailment requires that a conclusion's truth-conditions are already contained in premises. ...
This proposition has not been edited since the history system was added.