​ 
       Since the ab-functions of p are again bi-polar propositions, we can form ab-functions of them, & so on. In this way a series of propositions will arise, in which in general the symbolizing facts will be the same in several members. If now we find an ab-function of such a kind that by repeated application of it every ab-function can be generated, then we can
introduce
define
 the totality of ab-functions as the totality of those that are generated by application of this function. Such a function is ~p ⌵ ~q.


14


 

(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.com/BTE/Ts-201a1,b13[4]_d

RDF: http://wittgensteinsource.com/BTE/Ts-201a1,b13[4]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-201a1,b13[4]_d/json