Can someone give me the solution?

thanks

-> = implies

^ = conjunction

v = disjunction

~ = not (negation)

1. m -> n

2. m v (o^p)

3. ~n^~q/ o

1. (a -> b) ^ (c -> d)

2. e -> f

3. (a v e) ^ (c v d)/ b v f

1. (~m v ~n) -> (o -> n)

2. m -> m

3. ~m/ ~o -> ~n

1. (k v l) -> (m v n)

2. (m v n) -> (o v p)

3. k/ o v ~p

## Proof of validity

### Re: Proof of validity

I haven't worked through these, but what are we offering solutions to? What is the question we're to answer?