Admissibility of truth assignments for quantum propositions in supervaluational logic