Comment by rhino369

>One wonders why we have not developed something explicit like mathematical notations for legal stuff.

Because you have to apply the law to fact and facts lack mathematical precision.

"No vehicles in the park" would require someone to categorize everything in the world into vehicle or !vehicle. Does a wheel chair count?

It's easier to lay out the principle and let judges determine edge cases as they play out.