Substitution (logic)
id:
substitution-logic-207-6739540
title:
Substitution (logic)
text:
A substitution is a syntactic transformation on formal expressions.
To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols with other expressions. The resulting expression is called a substitution instance, or instance for short, of the original expression.
brand slug:
wiki
category slug:
encyclopedia
description:
Concept in logic
original url:
https://en.wikipedia.org/wiki/Substitution_(logic)
date created:
2006-06-05T20:58:51Z
date modified:
2024-09-11T05:03:44Z
main entity:
{"identifier":"Q1522579","url":"https://www.wikidata.org/entity/Q1522579"}
image:
fields total:
13
integrity:
15