Interpolación

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una construcción lógica que, dadas fórmulas A y B con A lógicamente implicando B, produce una fórmula I (el interpolante) que está implicada por A, implica B y menciona solo los símbolos no lógicos comunes a A y B.