Peircers,
Correcting an accidental deletion in this section:
The operations defined by the formulas x^y = z and (x⇐y) = z
for x, y, z in the boolean domain B = {0, 1} are tabulated below:
x^y = z
--------
00 = 1
01 = 0
10 = 1
11 = 1
x⇐y = z
---------
0⇐0 = 1
0⇐1 = 0
1⇐0 = 1
1⇐1 = 1
It is clear that these operations are isomorphic, amounting to
the same operation of type B × B × B → B. All that remains is
to see how this operation on coefficient values in B induces
the corresponding operations on sets and terms.
--
academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to [email protected] . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
