Für (Ex).fx, etc. brauchen wir auch die
Regeln: (Ex). fx V Fx =
(Ex).fx . V .
(Ex).Fx, (Ex,y). fx & Fy
. V . (Ex).fx . & . Fx =
(Ex).fx . & .
(Ex).Fx.
Jede solche Regel ist ein Ausdruck der Analogie zwischen
(Ex).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: