 |
.. (לתיקייה המכילה) | |
If formula is NOT safe-range, is it necessarily domain-dependent? | |
|
If there was NO ⊥ during the computation, the formula is indeed domain-dependent. However, as described on the slides, when rr is a subset of free, the formula can be easily altered to be domain-INdependent. If threre was ⊥, "we don't know״. |
If formula is safe-range, is it necessarily domain-independent? | |
| Yes. |