Sustitución
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una asignación de variables a términos que, aplicada a un término o fórmula, reemplaza cada variable de su dominio uniformemente por el término correspondiente y se extiende homomórficamente a términos compuestos.