substitution rule

noun

: a principle in logic specifying what expressions may be substituted for one another

a substitution rule specifying that the definiendum may replace the definiens

The Ultimate Dictionary Awaits

Expand your vocabulary and dive deeper into language with Merriam-Webster Unabridged.

1. Expanded definitions
2. Detailed etymologies
3. Advanced search tools
4. All ad-free

Discover what makes Merriam-Webster Unabridged the essential choice for true word lovers.

Start Your Free Trial Now