intro to logic inference rules

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 ~A)

—————————