 The meaning of a question, then, is a function from worlds to propositions. These propositions have two special properties: they are mutually exclusive (since two different exhaustive answers are always incompatible), and together they form a cover of the entire logical space (since every world is compatible with at least one exhaustive answer). So the meaning of a question can be identified with a set of propositions which form a partition of the logical space.