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.