Template:Individual-TLP-paragraph-en-5.5
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.