Exercise 43 … (For-Credit of 10 points)
[43-1] Explain the basic difference between the two subsets of inference rules.
Derive the conclusion from the given premises (for 4 exercises below).
(extracted mainly from textbook Exercise 4-8 and elsewhere)
P1: A & (B -> C)
P2: ~(C & A)
P1: (A & B) V (C & D)