diff options
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 35 |
1 files changed, 24 insertions, 11 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 9be8f2a3..d4a2f65d 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -12,7 +12,24 @@ \tableofcontents \eject -\section{category PROPLOG PropositionalLogic} +\section{Categories an domains for logic} + +<<category BOOLE BooleanLogic>>= +)abbrev category BOOLE BooleanLogic +++ Author: Gabriel Dos Reis +++ Date Created: April 04, 2010 +++ Date Last Modified: April 04, 2010 +++ Description: +++ This is the category of Boolean logic structures. +BooleanLogic(): Category == Type with + not: % -> % + ++ \spad{not x} returns the complement or negation of \spad{x}. + and: (%,%) -> % + ++ \spad{x and y} returns the conjunction of \spad{x} and \spad{y}. + or: (%,%) -> % + ++ \spad{x or y} returns the disjunction of \spad{x} and \spad{y}. +@ + <<category PROPLOG PropositionalLogic>>= )abbrev category PROPLOG PropositionalLogic ++ Author: Gabriel Dos Reis @@ -20,17 +37,11 @@ ++ Date Last Modified: May 27, 2009 ++ Description: This category declares the connectives of ++ Propositional Logic. -PropositionalLogic(): Category == SetCategory with +PropositionalLogic(): Category == Join(BooleanLogic,SetCategory) with true: % ++ true is a logical constant. false: % ++ false is a logical constant. - not: % -> % - ++ not p returns the logical negation of `p'. - and: (%, %) -> % - ++ p and q returns the logical conjunction of `p', `q'. - or: (%, %) -> % - ++ p or q returns the logical disjunction of `p', `q'. implies: (%,%) -> % ++ implies(p,q) returns the logical implication of `q' by `p'. equiv: (%,%) -> % @@ -641,11 +652,9 @@ KleeneTrivalentLogic(): Public == Private where <<*>>= <<license>> -<<domain REF Reference>> +<<category BOOLE BooleanLogic>> <<category LOGIC Logic>> <<domain BOOLEAN Boolean>> -<<domain IBITS IndexedBits>> -<<domain BITS Bits>> <<category PROPLOG PropositionalLogic>> <<domain PROPFRML PropositionalFormula>> @@ -654,6 +663,10 @@ KleeneTrivalentLogic(): Public == Private where <<domain KTVLOGIC KleeneTrivalentLogic>> +<<domain IBITS IndexedBits>> +<<domain BITS Bits>> +<<domain REF Reference>> + @ \eject \begin{thebibliography}{99} |