Rule of replacement
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment. Within the context of a logical proof, logically equivalent expressions may replace each other. Rules of replacement are used in propositional logic to manipulate propositions.
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Rule of replacement
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment. Within the context of a logical proof, logically equivalent expressions may replace each other. Rules of replacement are used in propositional logic to manipulate propositions.
has abstract
En logique, une règle de rempl ...... n, les , les tautologies, etc.
@fr
En lógica, las reglas de reemp ...... efectuar estas sustituciones.
@es
In logic, a rule of replacemen ...... e, exportation, and tautology.
@en
Пра́вило підстано́вки у логіці ...... еріальну еквівалентність, та .
@uk
Wikipage page ID
34,770,456
page length (characters) of wiki page
Wikipage revision ID
1,020,423,964
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
En logique, une règle de rempl ...... ns pour manipuler des énoncés.
@fr
En lógica, las reglas de reemp ...... ente a un segmento particular.
@es
In logic, a rule of replacemen ...... ic to manipulate propositions.
@en
Пра́вило підстано́вки у логіці ...... я маніпулювання висловленнями.
@uk
label
Reglas de reemplazo
@es
Rule of replacement
@en
Règle de remplacement
@fr
Правило підстановки
@uk