This is an old revision of the document!
${\mathfrak D}_\mathrm{Propositions}$
Logic, Domain of discourse