relettering

logic

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 13, 2026

Quick Summary

The term "relabeling" refers to the act of renaming or rechristening something. In the context of formal logic, specifically the predicate calculus, "relettering" is a process used to rename bound variables within a formula. This is done to ensure that each quantifier uses a distinct variable and that no variable is both bound and free within the same formula.12

This process is crucial for maintaining the logical equivalence of formulas. For instance, changing a variable in a quantifier, such as from (\u2200x)\u03d5x to (\u2200y)\u03d5y, does not alter the meaning of the statement, as both express that "everything is \u03d5". This manipulation is a fundamental step in transforming logical formulas into a standard form, known as prenex normal form (PNF), which simplifies further logical analysis.2

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

2 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

formal logic
Logical manipulations in LPC
…its scope is known as relettering a bound variable. If β is the result of relettering a bound variable in a wff α, then α and β are said to be bound alphabetical variants of each other, and bound alphabetical variants are always equivalent. The reason for restricting the replacement…
Read More
…its scope is known as relettering a bound variable. If β is the result of relettering a bound variable in a wff α, then α and β are said to be bound alphabetical variants of each other, and bound alphabetical variants are always equivalent. The reason for restricting the replacement…
Read More