| Created: | 23.5.2022 18.05.04 |
| Modified: | 1.8.2022 13.54.03 |
 Project: |
|
| Advanced: |
|
Most valuable in the predicate calculus, where items are either True or False, unless they are ill formed. <br/>
- Attributes
- Operations
- Tagged Values
- Advanced
- Other Links
| Operation | ||
|
Public =( b: Boolean,
|
||
 Details:
Sequential
|
||
|
Public and( b: Boolean,
|
||
|
Details:
Sequential
|
||
|
Public implies( b: Boolean,
|
||
|
Details:
Sequential
|
||
|
Public not():Boolean |
||
|
Details:
Sequential
|
||
|
Public or( b: Boolean,
|
||
|
Details:
Sequential
|
||
|
Public xor( b: Boolean,
|
||
|
Details:
Sequential
|
| Tag | Value |
| persistence | persistent |
|
Details:
|
|
| Property | Value |
| isFinalSpecialization: | 0 |
| Object | Type | Connection | Direction | Notes |
| «type» DiscreteTruth | Class | Realization | To |