Identify what you can properly conclude from the given premises: P: not A → B P: A → not Z P: not Z → F C: ?

March 10, 2020

I would like this question answered as well

March 10, 2020

Hi can some answer this question

Skylar June 28, 2020

@SarahJDavey16, happy to help!

The statement "B -> not F" is incorrect because it is not supported by our given premises.

Let's take a look at the question. We have:
P: not A -> B
not B -> A

P: A -> not Z
Z -> not A

P: not Z -> F
not F -> Z

Looking at both the premises we were given and the contrapositives that we found, we can use the transitive property to combine variables into a chain:
C: not B -> A -> not Z -> F
not F -> Z -> not A -> B

This simplifies into the following conclusion:
C: not B -> F
not F -> B

Does that make sense? Hope it helps! Please let us know if you have any other questions!