Take p.q & q. When you write p.q in the a–b notation, it is impossible to see from the symbol alone that q follows from it; for if you were to || interpret the true-pole as the false, the same symbol would stand for p ⌵ q, from which q doesn't follow. But the moment you say which symbols are tautologies, it at once becomes possible to see from the fact, that they are & the original symbol that q does follow.

(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/Ms-301,17[1]_n

RDF: http://wittgensteinsource.com/BTE/Ms-301,17[1]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-301,17[1]_n/json