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

Julia-Fleurantin October 30, 2019

How do we know that z and f are mutually exclusive?

I understand that when it's A or B but I don't see explicitly stated that it's either Z or F. Can someone please clarify?

Replies

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

Already have an account? log in

Irina November 1, 2019

@Julia-Fleurantin,

Why do you think Z & F are mutually exclusive?
~Z -> F leaves open the possibility that both could be true, for a statement to be mutually exclusive, it would look like:
Z -> ~F

Generally,
~A -> B
~B -> A

means that either A or B or BOTH could be true

versus

A -> ~B
B -> ~A

means that either A or B NOT BOTH could be true.

gregolios2000 December 27, 2019

Hi !

gregolios2000 December 27, 2019

I am new person on site

Skylar June 27, 2020

@gregolios2000, hello and welcome! Please let us know if you have any questions and we would be happy to help.