EN
The concept of proper multiple-conclusion entailment is introduced. For any sets X, Y of formulas, we say that Y is properly mc-entailed by X iff Y is mc-entailed by X, but no A ∈ Y is single-conclusion entailed by X. The concept has a natural interpretation in terms of question evocation. A sound and complete axiom system for the propositional case of proper mc-entailment is presented.