Daily Drills 1 - Section 1 - Question 3

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

Kateria November 29, 2021

Need further assistance

How would I break this question down? Because I knew the answer but I was not sure if it was correct.

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

Already have an account? log in

Jay-Etter January 19, 2022

For these definitely start by writing out the contrapositives, so we have

Not A -> B (Not B -> A)
A -> not Z (Z -> Not A)
Not Z -> F (Not F -> Z)

To find a conclusion, we can pick any of these statements and just link it onto the others. Let's pick A-> Not Z. Well we also know Not B-> A, so we can link these as
Not B -> A -> Not Z. And we know Not Z -> F, so we can add that and get
Not B-> A -> Not Z -> F.

Simplify to get Not B -> F, or the contrapositive Not F -> B. Hope this helps!