​ 
92



a ∙ 1 = a            (D)
a ∙ (b + 1) = a ∙ b + a           (M)

a ∙ (b + (c + 1))
R
=
a ∙ ((b + c) + 1)
M
=
a ∙ (b + c) + a

a ∙ b + (a ∙ (c + 1))
M
=
a ∙ b + (a ∙ c + a)
I
=
(a ∙ b + a ∙ c) + a 		    
} a ∙ (b + c) = a ∙ b + a ∙ c           (IV)

    


 

(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://www.wittgensteinsource.org/BTE/Ts-212,XVIII-134-29[1]_d

RDF: http://www.wittgensteinsource.org/BTE/Ts-212,XVIII-134-29[1]_d/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ts-212,XVIII-134-29[1]_d/json