The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- I've been looking for ways to say these without using experimental cmavo. But in the meantime these provide a stopgap.
| p
|
FALSE SORTA TRUE
|
|
|
|
| na p
|
TRUE SORTA FALSE
|
| ja'a p
|
FALSE SORTA TRUE
|
| nai'a p
|
TRUE FALSE FALSE
|
| jai'a p
|
FALSE FALSE TRUE
|
- And:
- la xorxes has suggested that, following the pattern of JAhA + CAI, the paradigm should be completed thus:
| p
|
FALSE SORTA TRUE
|
|
|
|
| na cu'i p = ja'a cu'i p
|
FALSE TRUE FALSE
|
- These are operators, functions from truth values to truth values: they read more or less like this (being placed before the core bridi):
| na
|
it is not the case that
|
| ja'a
|
it is the case that
|
| na'a
|
it is false that
|
| jai'a
|
it is true that
|
| nacu'i
|
it is indeterminate that
|
- Missing from this is it is sorta the case that: SORTA TRUE SORTA (or FALSE TRUE SORTA).
- And:
- I didn't propose those because I can't get my head round the difference from F-T-F. A full series of operators are proposed under three-value logic (though it is incompatible with the JAhA + CAI proposal assumed by the proposal above). But the ones on this page are the ones I personally would find usable and useful.