Collapse

Annotate using Feed The Pundit

The variable-prop. p ⊃ tildap is. is not identical with the variable-prop. ~(p . ~p). The corresponding universals would be identical. But the one variable prop. says that out of e.g. p⊃ q you get a tautology by substituting the variable prop. ~(p . ~p) says shews that out of ~(p . q) you get a tautology by substituting ~p for q, whereas the other does not say shew this.

(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/Ms-301,27[2]_d

RDF: http://www.wittgensteinsource.org/BTE/Ms-301,27[2]_d/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ms-301,27[2]_d/json