Die Sprache der Aussagenlogik L V {\displaystyle {}L^{V}} wird rekursiv durch folgende Regeln definiert.