Tractatus

6.01

The general form of the operation Ω’(η) is therefore: [ξ, N(ξ)]’ (η) (=[η, ξ, N(ξ)]). This is the most general form of transition from one proposition to another.