Search found 1 match

by MARKOPALO
Thu Nov 19, 2015 3:53 pm
Forum: Discrete Mathematics
Topic: Proof of validity
Replies: 1
Views: 5995

Proof of validity

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...