[anandoza]

I think it's (very) poorly phrased, and what they meant by "logical deductions" was algebraic simplifications.

For example, if you already know x == 3 and your original "assumption" (not a great word choice here) is "x < 5 OR x > 20", you can simplify that to "3 < 5 OR 3 > 20" and then to "True OR False" and then the boolean literal "True", so you know the original expression "x < 5 OR x > 20" is True.

That's my best guess, at least.