Craigs interpolation theorem

views updated

Craig's interpolation theorem A theorem that provides an answer to the question of whether an interpolant I exists such that given a formula AB then both AI and IB are valid.