(logic) a statement of something (a fact or thing or expression) to be explained
[ Syn: explanandum ]