Aussagenlogik/Sprache/Startzeichen/Aufgabe

Aus Wikiversity

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

oder das Negationszeichen oder eine linksseitige Klammer ist.