5.5
Every truth-function is a result of the successive application of the operation (−−−−−T) (ξ, . . . . .) to elementary propositions. This operation denies all the propositions in the right-hand bracket and I call it the negation of these propositions.