You are currently not logged in! Enter your authentication credentials below to log in. You need to have cookies enabled to log in.
This shows you the differences between two versions of the page.
|
constants:logic:start [2015-02-04 18:39 SLT] sei style |
constants:logic:start [2015-07-14 09:07 SLT] (current) sei Typo. |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Logic constants ===== | ===== Logic constants ===== | ||
| - | The logic constants are the integer constants $ct[TRUE] and $ct[FALSE'. While the constant $ct[TRUE] has the value 1, in general any integer value different to 0 will serve as a truth value of //true// (see $lty[Boolean]). | + | The logic constants are the integer constants $ct[TRUE] and $ct[FALSE]. While the constant $ct[TRUE] has the value 1, in general any integer value different to 0 will serve as a truth value of //true// (see $lty[Boolean]). |
| ^ Name ^ Value ^ | ^ Name ^ Value ^ | ||