Question

how do you find logical conclusion of m -> n and ~m -> s are true, then which statement is a logical conclusion?
A: n -> s
B: s -> n
C: s
D: ~n -> s

[keep in mind -> is my attempt of an arrow!

Answer 1

well let's go through them one by one. do you think the first one is correct?

Answer 2

would m -> n imply: ~m -> ~n ?

Answer 3

nope

Answer 4

but, what does logically equivalent mean? :c

Answer 5

does "->" stand for "implies"?

Answer 6

maybe ~n->s ??

what is ~ for?

Answer 7

~ means "not" and -> means "implies"

Answer 8

I assume "~" means NOT

Answer 9

yes...it does.

Answer 10

but what does logically equivalent mean and how can i find the answer?

Answer 11

m -> n means that ~n -> ~m. Meaning, if we don't have n then we must not have had m.

If we didn't have m then we must have had s, by the second rule.

Therefore the answer is D.

Answer 12

thx for the clear explanation ktklown

Answer 13

yw

Answer 14

um....i'm still confused, where did you get S from?

Answer 15

yes D is correct

Answer 16

nevermind, i think i got it xD

Answer 17

remember ~m -> s