Die Sprache der Aussagenlogik L V {\displaystyle {}L^{V}} zu einer Aussagenvariablenmenge V {\displaystyle {}V} .