Aussagenlogik/Sprache/Startzeichen/Aufgabe

Zeige, dass das erste Symbol in jeder Aussage aus entweder eine Aussagenvariable

oder das Negationszeichen oder eine linksseitige Klammer ist.