I think it does make it less likely to be logically flawed, in that you can better see what is following from your assumptions. It's like stronger typing or an additional test in your test suite. It's perfectly possible to still get wrong results, but it's less likely. "Less likely enough" is another, extremely important question.
"it simply makes it more understandable and less likely to be logically flawed" -- yes to the first part, no to the second.