👥 Extensional procedure

=== assigning the same symbol to multiple coextensive propositional functions¹==

Terminology

• 🔣 Extension symbol
• 🔗 Extension

Footnotes

1. Carnap, R. (1963). The Logical Structure of the World. ↩