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: ?

lisaraebb October 28, 2024

Simplified

Hi, all I struggled with this question for sometime. This is how it made sense to me. An algebraic expression. List out on paper : A B Z F Eliminate the negatives: A not B therefore B = (B) A not Z - Z = (Z) Z not F - F = F Answer (B) = F Does this logic help?

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

Already have an account? log in

Emil-Kunkin October 29, 2024

I think that works here, but would not do so in all cases. It's probably also much easier to just write out the logical relationships in a chain. That is, we know that if A then not Z, and this F.
So we have

A-> not Z -> F

We also know that if not a then b, so if not b then A. We can add this to the chain to make

It Not B -> A -> Not Z -> f

And now we know for sure the relationships between all our variables.