Gehört das leere Wort ∅ {\displaystyle {}\emptyset } zur Sprache der Aussagenlogik L V {\displaystyle {}L^{V}} zu einer Aussagenvariablenmenge V {\displaystyle {}V} ?