View Single Post
P: 460
 Quote by verty Perhaps this is better. It is a binary function that maps 2-tuples of truth values to a truth value which is false for (0,0) and true otherwise. Oh, perhaps this is circular.
I think this is circular too.

Correct me if I am wrong. You define OR as a function $$f: (x,y) \to z$$ where $$x,y,z \; \epsilon \; \{0, 1\}$$ satisfying the following property:

$$(x,y) = (0,0) \Rightarrow z = 0 \land (x,y) \neq (0,0) \Rightarrow z = 1$$

I guess the circularity of this definition depends on how you define $$\land$$ and $$\Rightarrow$$...