Title: Development of the concept of truth-functional negation