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.