Aufgabe:
Strukturelle Induktion
Zu zeigen: Jede aussagenlogische Formel enthält zumindest ein von ¬ verschiedenes Symbol
Problem/Ansatz:
Ich habe eine Aufgabe bekommen, wo ich mit Strukturelle Induktion beweisen soll, also Induktionsanfang, Induktionsbehauptung und Induktionsschritt. Würde mich freuen, wenn jemad mir die Aufgabe lösen kann.
