Identify what you can properly conclude from the given premises:P: not Y → not XP: X existsC: ?

ava961111 August 17, 2018

X->Y

X->Y if that means x belongs to Y, if X exist, Y doesn't necessarily exist. I think.

Create a free account to read and take part in forum discussions.

Already have an account? log in

Mehran August 19, 2018

Hi @ava961111, thanks for your post, but we are not entirely sure we understand your question/statement.

Here, the first premise you are given is not Y ==> not X.
The contrapositive of this premise is X ==> Y.

The second premise you are given is that you have X.
Applying this fact to the contrapositive of the first premise, you know you have the sufficient condition (X), so you know you have the necessary condition (Y).

So you can conclude that you have Y (ie, that Y exists). That's answer choice (A).

Hope this helps! Please let us know if you have any additional questions.