Posted by **Moses** on Thursday, January 17, 2013 at 1:56am.

help please anyone?

i'm having a hard time solvig these problems

LOGIC CONDITIONAL PROOF. HOMEWORK HELP PLEASE!?

A.

1. A -> (B -> C)

2. (C ^ D) -> E

3. -F ->(D ^ -E) / :. A -> (B -> F)

B.

1. (A v B) -> -(C ^ D)

2. (-C v -D) -> (E <-> F)

3. (E <-> F) -> (G ^ H) / :. (A v B) -> (H ^ G)