substitution (Q1522579)
Jump to navigation
Jump to search
concept in logic; syntactic transformation on formal expressions
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | substitution |
concept in logic; syntactic transformation on formal expressions |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(4 entries)
- dewiki Substitution (Logik)
- enwiki Substitution (logic)
- kowiki 치환 실례
- ptwiki Substituição (lógica)