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)

OR