In/Out diagramming and logic question

[Mp2020]

Hi, quick question (hopefully) : Just wondering about interpreting the following logic question and potential diagram?

'If jack attends, mark must attend'

my deduction: J > M contrapositive : ~M > ~ J
can I also conclude that it is possible for M to attend and jack attend or not attend? M > ~J or M > J

In other words the rule doesn't really really tell us anything about what could happen if mark attends?

Thank you in advance!

[KelseyWoods]

Hi Mp2020!

You are correct! Based on that rule, we don't really know anything for certain if Mark attends. If Mark attends, Jack could attend but does not have to. If you have the sufficient condition, you definitely have the necessary condition. But if you have the necessary condition, you could have the sufficient condition or not.

Hope this helps!

Best,
Kelsey

[Mp2020]

Thanks Kelsey! That is very helpful.
Mike