Please help with solving a proof, the third line is the conclusion. I can't figure it out.

1. ~M -> ~(N -> O)

~M-> ~(~NvO)

~M->(N & ~O)

2 (N&~O) ->P

So ~M->P is a valid argument " Law of syllogism"

Secure Information

Content will be erased after question is completed.

Enter the email address associated with your account, and we will email you a link to reset your password.

Forgot your password?

Sign Up