: Public Enumeration
Created: 23.5.2022 18.05.04
Modified: 1.8.2022 13.54.03
Project:
Advanced:
Handy for a weak sort of 3 valued logic, where truth or falsity is not attributable to all well-formed statements. <br/>
Attribute
Public <undefined>
  TRUE
Details:
 
Public <undefined>
  FALSE
Details:
 
Public <undefined>
  MAYBE
Details:
Notes: The interpretation of MAYBE is a point of semantic variation. One opinion would have it be interpreted as UNKNOWN, implying that certainty exist, but we just don't know what it is at the moment. This is not always appropriate. Even in such a black and white world, a logical when used as a static (class-wide) attribute, would be three valued: always true, always false, and sometimes. Thus, MAYBE can be interpreted as "maybe true, maybe not."<br/><br/>In such cases a probability statement might be more appropriate, just not always available. <br/><br/>Equivalent to STEP's and SQL's Unknown.<br/>
Operation
Public
=( b: Logical,
):Logical
Details:
Sequential
Public
and( b: Logical,
):Logical
Details:
Sequential
Public
implies( b: Logical,
):Logical
Details:
Sequential
Public
not():Logical
Details:
Sequential
Public
or( b: Logical,
):Logical
Details:
Sequential
Notes: a or b = max {a, b}<br/>
Public
xor( b: Logical,
):Logical
Details:
Sequential
Tag Value
persistence persistent
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
«type» DiscreteTruth Class Realization To