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.