„p ⌵ ~p” darf ich nur dann sagen wenn ich „p” verstehe; so darf ich sagen „5 × 5 = 11 ⌵ 5 × 5 ≠ 11” & die Allgemeinheit des Satzes macht gar keinen Unterschied. Ich könnte Zahlengleichungen & Buchstabengleichungen dahin zusammenfassen: Die Transformation der linken Seite nach den Regeln liefert die rechte Seite oder nicht.