aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/boolean.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-10-27 10:34:30 +0000
committerdos-reis <gdr@axiomatics.org>2010-10-27 10:34:30 +0000
commitfcf66dc98318f5ced7ba150f04aef50b69d8cd48 (patch)
tree7b18b79b442220ba662f368a735e6160f453d6cf /src/algebra/boolean.spad.pamphlet
parent88431a10d86db0b69fb67339dcacf088d005482b (diff)
downloadopen-axiom-fcf66dc98318f5ced7ba150f04aef50b69d8cd48.tar.gz
* algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
-rw-r--r--src/algebra/boolean.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 888ae786..46897fc4 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -21,7 +21,7 @@
++ Date Last Modified: April 04, 2010
++ Description:
++ This is the category of Boolean logic structures.
-BooleanLogic(): Category == Type with
+BooleanLogic(): Category == Logic with
not: % -> %
++ \spad{not x} returns the complement or negation of \spad{x}.
and: (%,%) -> %
@@ -461,7 +461,7 @@ Logic: Category == Type with
++ Description: \spadtype{Boolean} is the elementary logic with 2 values:
++ true and false
-Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputForm) with
+Boolean(): Join(OrderedFinite, PropositionalLogic, ConvertibleTo InputForm) with
xor : (%, %) -> %
++ xor(a,b) returns the logical exclusive {\em or}
++ of Boolean \spad{a} and b.