- #1

- 2

- 0

I have a couple of homework problems that I can't get, hopefully one of you enlightened ones can help me.

I have to give proofs of these valid arguments using only the 8 rules of inference (M.P. etc.), and 10 replacement rules(D.N. etc.) :

(1)

1.(A>E)>C

2.C>~C

/A

(2)

1.(A&G)>H

2.A

3.(I>~H)&(A>G)

/G (Triple Bar, Biconditional) H

(3)

1.(A&K)>R

2.K

/A>R

">" is, "if then", "&" is the dot that resembles multiplication, but stands for the word "and". The numbers. "1., 2., 3.", are the premises. "/" is the conclusion

I need help....too math like for me

*symbolic Logic

I have to give proofs of these valid arguments using only the 8 rules of inference (M.P. etc.), and 10 replacement rules(D.N. etc.) :

(1)

1.(A>E)>C

2.C>~C

/A

(2)

1.(A&G)>H

2.A

3.(I>~H)&(A>G)

/G (Triple Bar, Biconditional) H

(3)

1.(A&K)>R

2.K

/A>R

">" is, "if then", "&" is the dot that resembles multiplication, but stands for the word "and". The numbers. "1., 2., 3.", are the premises. "/" is the conclusion

I need help....too math like for me

*symbolic Logic

Last edited: