intro to logic inference rules

Save your time - order a paper!

Get your paper written from scratch within the tight deadline. Our service is a reliable solution to all your troubles. Place an order on any task and we will take care of it. You won’t have to worry about the quality and deadlines

Order Paper Now

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)


  C:  ~B

  P1:  A & (B -> C)

  P2:  ~(C & A)



  C:  C

  P1:  (A & B)  V  (C & D)

  P2:  ~A



  C:  ~B

  P1:  (A & B) -> C

  P2:  A & ~C



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

  C:  ~U

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

  P2: ~(~R V ~A)