Collapse

Annotate using Feed The Pundit

p ⊃ p = T            (p ⊃ p) ∙ q = q
      T ∙ p = p
      p ⌵ T = T         p ∙ q . ⊃ . p = T

(p ∙ q ⊃ p) ∙ r = r            (p ∙ q) ∙ p = p ∙ q

65

      (p ∙ q) ⌵ p = p            p ∙ q = p
      p ⌵ q = (p ∙ q) ⌵ p = p
      ~p ⌵ q
~(p ∙ q) ⌵ p = T^(Ƒ)
      p ⊃ p ⌵ q
(~(p ∙ q) ⌵ p) ⌵ (p ∙ q) = p ∙ q
      P. ⊃ .Q = T^(Ƒ)

      ⊢(p ⊃ q) = p     ~p = ~p ∙ q =       ~p ∙ ~q = ~p
      ⊢p      ~p ⌵ q = ~(p ∙ q) ⌵ q = p ∙ q ⊃ q
      ⊢q                    ~(~p ∙ ~)q = ~p
      p ⌵ q = ~p
      q . ⊃ . p ⌵ q = Log.

(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-150,64[5]et65[1]_n

RDF: http://wittgensteinsource.com/BTE/Ms-150,64[5]et65[1]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-150,64[5]et65[1]_n/json