From 0e6d0cdde92747cc02d9965eef8ef1edc31cb1ae Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 28 May 2009 16:54:19 +0000
Subject: * algebra/boolean.spad.pamphlet (PropositionalLogic): Now
export `true' and `false'. (Boolean): Ihenrit them.
---
src/algebra/boolean.spad.pamphlet | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
(limited to 'src/algebra/boolean.spad.pamphlet')
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 0c9adbc6..f7cc1e9a 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -21,6 +21,10 @@
++ Description: This category declares the connectives of
++ Propositional Logic.
PropositionalLogic(): Category == SetCategory with
+ true: %
+ ++ true is a logical constant.
+ false: %
+ ++ false is a logical constant.
not: % -> %
++ not p returns the logical negation of `p'.
and: (%, %) -> %
@@ -301,10 +305,6 @@ Logic: Category == BasicType with
++ true and false
Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputForm) with
- true: %
- ++ true is a logical constant.
- false: %
- ++ false is a logical constant.
xor : (%, %) -> %
++ xor(a,b) returns the logical exclusive {\em or}
++ of Boolean \spad{a} and b.
--
cgit v1.2.3