Für (∃x).fx, etc. brauchen wir auch die Regeln:
     (∃x). fx ⌵ Fx = (∃x).fx . ⌵ . (∃x).Fx,
(∃x,y). fx & Fy . ⌵ . (∃x).fx . & . Fx = (∃x).fx . & . (∃x).Fx.
Jede solche Regel ist ein Ausdruck der Analogie zwischen (∃x).fx und einer logischen Summe.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.



To cite this element you can use the following URL:


BOXVIEW: http://wittgensteinsource.org/BTE/Ts-213,327r[2]_n

RDF: http://wittgensteinsource.org/BTE/Ts-213,327r[2]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-213,327r[2]_n/json