​ 
(Еnx) φx ∙ (Еmx) ψx ∙ Ind. . ⊃ . (Еn + mx) φx ⌵ ψx
(Е❘ ❘ ❘ ❘x)⌊φx⌋ ∙ (Е❘ ❘ ❘ ❘ ❘ ❘x)⌊ψx⌋ ∙ Ind. . ⊃ . (Е❘ ❘ ❘ ❘,❘ ❘ ❘ ❘ ❘ ❘)x φx ⌵ ψx
ebenso richtig ist aber natürlich
(Е❘ ❘ ❘ ❘x) φx ∙ (Е❘ ❘ ❘ ❘ ❘ ❘x) ψx ∙ Ind. . ⊃ . (Е❘ ❘ ❘,❘ ❘ ❘ ❘ ❘ ❘ ❘x) φx ⌵ ψx
hier muß n + m sehen.

 

(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/Ms-107,10[3]_d

RDF: http://wittgensteinsource.org/BTE/Ms-107,10[3]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-107,10[3]_d/json