Guest Session: 1 Question Remaining. Create Account to save progress.
Login
Logichard
0:00.0

Craig's Interpolation Theorem states that if A  ⟹  BA \implies BA⟹B is a tautology, there exists a formula CCC containing only propositional variables common to both AAA and BBB such that A  ⟹  CA \implies CA⟹C and C  ⟹  BC \implies BC⟹B are both tautologies. Given A=P∧QA = P \land QA=P∧Q and B=P∨RB = P \lor RB=P∨R, which of the following is a valid interpolant CCC?