Ja, damit hast du natürlich recht. Da wir nicht auf die Funktion der Operationen achten, sondern nur auf den Aufbau der Aussagen, können wir dann allgemein die 4 Operationen für die Induktion zu dem Fall (A op B) zuordnen während der andere Fall dann neg(A) ist.

Ich habe auch anderen (verallgemeinerten) Quatsch da oben in meiner Ausführung geschrieben. Oestinator sollte das dann bitte ausführlicher und verbessert niederschreiben, das war bloß ein Gedankenanstoß von mir, den ich schnell zusammengetippt habe.