Also boolean logic does not concern "all", "any" and "no" (as in no cookies), these are from prepositional logic
But I agree with your point, mathematical logic is a consequence of something that originated with human thinking
But I agree with your point, mathematical logic is a consequence of something that originated with human thinking
all not == not A and not B == not (A or B)
not all == not (A and B) == not A or not B