+409 What Is the derivation rule for line 4?
1 | B → (C v ~A)
2 | C → (C • E)
3 | ~A → C Conclusion: B → E
4 | | B
5 | | C v ~A
6 | | | C
7 | | | C • E
8 | | | E
9 | | | ~A
10 | | | C
11 | | | C • E
12 | | | E
13 | | E
14 | B → E
I do not if logic questions can be answered here but I have no idea how to do this
