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

jacaroe June 10, 2017

Always?

Will it always be the case that "A -> not B" = "B -> not A" And " not A -> B" = "not B -> A" ?

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

Already have an account? log in

Mehran June 11, 2017

@jacaroe the contrapositive of the first premise is: not B ==> A

But where are you getting not A ==> B?

Remember, don't just negate!

Hope that helps! Please let us know if you have any other questions.