using logical equations helps to understand an arguments structure, but does not help with semantics (in my experience, anyway). The whole difficulty with semantics is assigning abstract meaning to a string of characters, and then achieving universal understanding and agreement on how to reinterpret those symbols. no matter how much you distill an argument into its basic form, real-life application will thwart any attempts to resolve semantics.
or else... thats what i think