Question Description
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)
==========================================================
[43-2]
C: ~B
P1: A & (B -> C)
P2: ~(C & A)
————————-
===========================================================
[43-3]
C: C
P1: (A & B) V (C & D)