1. Engineering
  2. Computer Science
  3. 25b 26b...

Question: 25b 26b...

Question details

Exercise 2.5. Identify which occurrences of variables are free and which are bound in the following formulas. If an occurrence is bound, indicate which quantifier it is bound to. (There is no need to unpack them into their official definitions.) (a) 3xRxa Exercise 2.6. Say whether each of f(x), y, and g(x,f(y)) are allowed for z in the following formulas: (a) 3y (Rza V Tyz) (b) Qz - Vx(Txa -Rzx) (c) Lzra (3xQx V 3yRzy)2.5b 2,6b

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution