Logichard
0:00.0
Craig's Interpolation Theorem states that if is a tautology, there exists a formula containing only propositional variables common to both and such that and are both tautologies. Given and , which of the following is a valid interpolant ?
Craig's Interpolation Theorem states that if is a tautology, there exists a formula containing only propositional variables common to both and such that and are both tautologies. Given and , which of the following is a valid interpolant ?