- #1
Penguin_shinobi
- 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: