Boston University Create a logical creation between the premise and conclusion

Overview

Last step is B(K)&C. Step 1 is condition 2, B(K0--> B(B(K)-->C). At some point there will be B(C)-->C. Condition 3 is B(K)-->C)&B(K)-->B(C).