View Single Post
Feb10-07, 08:50 PM
P: 460
Quote Quote by verty View Post
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 [tex]f: (x,y) \to z[/tex] where [tex] x,y,z \; \epsilon \; \{0, 1\}[/tex] satisfying the following property:

[tex](x,y) = (0,0) \Rightarrow z = 0 \land (x,y) \neq (0,0) \Rightarrow z = 1 [/tex]

I guess the circularity of this definition depends on how you define [tex]\land[/tex] and [tex]\Rightarrow[/tex]...