>
|
|
For examples about Assume, see the Examples section of Physics:-Assume. Regarding Coulditbe and Is, these commands permit computing with an arbitrary number of conditions to be tested, that could be nested with no restrictions, involving And and Or.
Consider the two conditions
None of them can be true, so if the question is about or ,
The Is command is entirely based on Coulditbe so that Is(A, B, ...) = not Coulditbe(Not(A), Not(B), Not(...)). This is a generalization to many arguments of the relationship between the output of the standard is and coulditbe commands. Hence
Add a third condition
We see that can be true, therefore:
>
|
|
| (7) |
Coulditbe also accepts a sequence of arguments (statements), in which case it only returns true if it would return true for each of the arguments received. In this example, the following two conditions cannot be true at the same time, but either of them by itself can be true.
>
|
|
| (10) |
To see the output of Is with the same input, first negate these conditions
>
|
|
| (12) |
Note the difference between this result and the one you would get using And
Add now a condition that cannot be true:
Note the difference between this result and the one you would get using Or
>
|
|