[net.misc] And/Or

cbostrum (02/09/83)

I dont think that the / in and/or has any but syncategorematic meaning
in this particular case. But it could be contructed as an operator
which takes two propositional functions and returns a new one such that:
	slash(f,g)(x,y) == f(x,y) or g(x,y)
so, "and/or" (which really is "and/xor") becomes the traditional "or".
the idea with slash is that you use one of its arguments to do the
evaluation but not both. you get to choose non deterministically which
to use so as to maximise truth value. is this right? i think that or in
english is allmost exculsively xor, logically speaking. if you want an
amazing amount of variety in your connectives, try japanese!