When it comes to the some words in a logic or math context, say implizieren and enthalten for sake of concreteness, the grammar rules and the logic structure do not always seem to peacefully coexist. When writing math in German which one should be given preference?
Enthalten
If you want to mention a set inclusion. If A and B are sets. If I mean A ⊂ B, I am always unsure about the syntax. Both seem be objectionable:
Option a.
(1.a) Daher enthält B A
Here since B and A are not given cases, I don't know whether it's clear which contains which.
or
Option b.
(1.b) Daher B enthält A.
Ja, aber... then the verb is not at the second place, which is a grammar mistake.
Implizieren
The same happens while facing subordinate clauses. If p and q are two logical statements,
Option a. One violates the Verb-am-Ende-rule, but it's clear which implies which:
(2.a) (…), woraus folgt, dass p impliziert q
or
Option b. Good grammar but, which implies which? If p and q cannot be given a case, then it's hard to decide:
(2.b) (…), woraus folgt, dass p q impliziert.
Existieren
I've usually seen (e.g. here in Aufgabe 47 (c) ) something which, simplified, would read:
(…), dass genau ein x ∈ X existiert mit x>0.
rather than the expected
(…), dass genau ein x ∈ X mit x>0 existiert.
Of course, usually you don't only get x>0, but a Wurst of conditions, which makes leaving the verb at the end unreadable.
As far as I know (and from my quite short experience by reading mathematical texts in German since all math is in English) preference is given to the logical structure over the grammar. I'd like this to be confirmed here. I'm not wishing to reorder. I would like to know what to do, when there is no other option.