(Answered):Intro To Logic Inference Rules . . . .

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)

  P2:  ~A

  —————————–

===========================================================
[43-4]

  C:  ~B

  P1:  (A & B) -> C

  P2:  A & ~C

  —————————-

===========================================================
[43-5] 

(Hint: use Equiv to break P1, an equivalence, into a conjunction of 2 conditionals)

  C:  ~U

  P1:  (A & U) <-> ~R

  P2: ~(~R V