Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you may not be able to execute some actions.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
wenn ich die Elemente a1,a2,...an habe und sagen will, dass alle 0 sind - kann ich dass dann folgendermaßen ausdrücken (V = Allquantor): Vai(ai=0) ?
Ob du kannst, weiß ich nicht, formal besser wäre sowas wie \forall i\in[1..n]\colon a_i=0. Ansonsten würd ich einfach a_1=a_2=…=an=0a\_1=a\_2=\ldots=a_n=0a_1=a_2=…=an=0 schreiben.