5.5 Every truth-function is the result of the successive application of the operation “(-----T)(ξ, …..)” to elementary propositions.

This operation negates all the propositions in the right-hand brackets and I call it the negation of these propositions.

OK. Definition.