SOLUTION: Can you help me construct a proof for these arguments? Thanks in advance. 1. (x)((Fx & Gx) -> Hx) (x)Gx /.: (x)(Fx -> Hx) 2. (3x)Jx (x)(Jx -> Hx) (3x)Hx -> (x)Gx /.: (3x

Algebra ->  Geometry-proofs -> SOLUTION: Can you help me construct a proof for these arguments? Thanks in advance. 1. (x)((Fx & Gx) -> Hx) (x)Gx /.: (x)(Fx -> Hx) 2. (3x)Jx (x)(Jx -> Hx) (3x)Hx -> (x)Gx /.: (3x      Log On


   

Question 1145903: Can you help me construct a proof for these arguments? Thanks in advance.
1.
(x)((Fx & Gx) -> Hx)
(x)Gx
/.: (x)(Fx -> Hx)
2.
(3x)Jx
(x)(Jx -> Hx)
(3x)Hx -> (x)Gx
/.: (3x)Fx -> (3x)Gx
Answer by richwmiller(17219) About Me  (Show Source):
You can put this solution on YOUR website!
One unrelated problem at a time with a daily limit of 5 problems
No duplication nor similar problems before 24 hours have passed.