Project #65738 - LOGIC

SEE ATTACHED FILE

Along with these proofs I need the valid argument form, rule or equivalence and state the step that justifies each step. Such as the steps written to the side and the rules used 

here is an EXAMPLE:

1)B&A          p

2)C->A       p/:~C

3)~A           1,simp

4)~C           2,3 MT

 

Here are the ACTUAL PROBLEMS i need solved in the same form as above.

2

1) A->~B                p

2) L -> (A&B)            p/:~L

 

3

!) (A&~C) v B        p

2) (B v~C) -> H       p/:H

 

4

1) HvH                   p

2) (M&N) -> ~(HvT)         p/: M->~N

 

5 

1) (MvP) v (E&L)      p

2) H&~P                  p/: ~(~M&~L)

(NOTE: This one is tough, use IP)

 

 

State the rule, valid argument form or equivalence that justifies each step of the following proofs and list the line or lines from which each step is derived.

1

1) Av~(B&C)              p

2) H&C                       p/: B->A

3) Av (~Bv~C)            1, DeM

4) (Av~B) v~C         

5) C

6) Av~B

7) ~BvA

8) B->A

 

2

1) C <-> (M->K)        p

2) M&~K                    p/:~C

3) [C-> (M->K)] & [(M->K)->C]    1,bicon

4) C-> (M->K)

5) (C&M)->K

6)~K

7) ~(C&M)

8) ~Cv~M

9) M

10) ~C

 

~= Not, negation

&=and

v= or

->= if then, conditional

<->= if and only if, biconditional

Subject Philosophy
Due By (Pacific Time) 04/09/2015 07:00 am
Report DMCA
TutorRating
pallavi

Chat Now!

out of 1971 reviews
More..
amosmm

Chat Now!

out of 766 reviews
More..
PhyzKyd

Chat Now!

out of 1164 reviews
More..
rajdeep77

Chat Now!

out of 721 reviews
More..
sctys

Chat Now!

out of 1600 reviews
More..
sharadgreen

Chat Now!

out of 770 reviews
More..
topnotcher

Chat Now!

out of 766 reviews
More..
XXXIAO

Chat Now!

out of 680 reviews
More..
All Rights Reserved. Copyright by AceMyHW.com - Copyright Policy