Zeige, dass das erste Symbol in jeder Aussage aus L V {\displaystyle {}L^{V}} entweder eine Aussagenvariable p ∈ V {\displaystyle {}p\in V} oder das Negationszeichen ¬ {\displaystyle {}\neg } oder eine linksseitige Klammer ( {\displaystyle {}(} ist.
