intro to logic inference rules

Anonymous
timer Asked: Apr 19th, 2016
account_balance_wallet $5

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

  ---------------------------


Tutor Answer

vmohanakumar
School: UCLA

flag Report DMCA
Review

Anonymous
Outstanding Job!!!!

Similar Questions
Hot Questions
Related Tags

Brown University





1271 Tutors

California Institute of Technology




2131 Tutors

Carnegie Mellon University




982 Tutors

Columbia University





1256 Tutors

Dartmouth University





2113 Tutors

Emory University





2279 Tutors

Harvard University





599 Tutors

Massachusetts Institute of Technology



2319 Tutors

New York University





1645 Tutors

Notre Dam University





1911 Tutors

Oklahoma University





2122 Tutors

Pennsylvania State University





932 Tutors

Princeton University





1211 Tutors

Stanford University





983 Tutors

University of California





1282 Tutors

Oxford University





123 Tutors

Yale University





2325 Tutors