and
and(
a,b):Truth
Defined in: src/logic.ts:15
Kleene three-valued logic. Uncertainty is a first-class value here, so composite conditions combine decisions rather than multiplying probabilities and pretending the product is calibrated.
false AND uncertain -> false true AND uncertain -> uncertain true OR uncertain -> true NOT uncertain -> uncertain
Three-valued AND: false if either side is false; uncertain unless both are true.
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
a |
Truth |
b |
Truth |