bound occurrence roxdâd-e bandidé Fr.: occurrence liée Any → occurrence of a → variable x in an x-bound part of a → wff. → bound; → occurrence. |
free occurrence roxdâd-e âzâd Fr.: occurrence libre An → occurrence of a → variable in a → wff, → iff it is not a → bound occurrence. → bound; → occurrence. |
occurrence roxdâd (#) Fr.: événement 1) The action, fact, or instance of occurring. Verbal noun of → occur. |