Recent content by Eric2

That was very helpful. Basically, what I'm trying to do is refute a published position that logical disjunction and conjunction are computationally interchangeable, with the only meaningful distinction arising from subjective observer interpretation. I believe this is wrong and strongly...

Has anybody ever heard of this? I learned about it in a discrete math class in grad school, and I've never heard of it anywhere else !? For example, logical disjunction (OR) and set-theoretic UNION are isomorphic in this sense: 0 OR 0 = 0. {0} UNION {0} = {0}. Similarly, logical AND & set...