Interpolación

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.

La inserción de material — palabras, oraciones, pasajes, notas marginales que pasan al cuerpo principal, glosas u otros contenidos — en un texto preexistente por manos, editores o redactores posteriores, de modo que la transmisión, las reclamaciones de autoría, la cronología o el sentido del texto se ven afectadas de manera material.