In Logic two notions are used. The first is set membership. We may see that x is not an element of a set of the w4 weighing elements. [This can be represented symbolically by {a, c, e}.] Also x could be seen to be an element of the intersection of {a, b} and {a, c, e}.

Finally, logic in the form of the implication symbol -> must be used to derive the solution.