Probabilistic entailment and iterated conditionals