- Do Not Copy Paste From Other Answers They Are Wrong 1 (38.6 KiB) Viewed 73 times
*****************DO NOT COPY PASTE FROM OTHER ANSWERS - THEY ARE WRONG **********************************
-
answerhappygod
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
*****************DO NOT COPY PASTE FROM OTHER ANSWERS - THEY ARE WRONG **********************************
*****************DO NOT COPY PASTE FROM OTHER ANSWERS - THEY AREWRONG **********************************
QUESTION 3 Let • P and Q be two predicate symbols, each with two arguments, •f a function symbol with one argument and • c a constant symbol. • x, y, z are variables [7] For each of the following, state whether it is a term or a well-formed formula (wff) or neither. If it is neither a term nor a wff, state the reason. Question 3.1 P(x, Q(x,y)) Question 3.2 3x 3c P(x, c) Question 3.3 Ey (Q(x, y) ^ (f(x) v f(y))) Question 3.4 P(x, c) v 3x Q(x) Question 3.5 x P(x, f(c)) →→y Q(x, y) Question 3.6 Q(x, f(x))→ P(f(x), y) Question 3.7 f(f(f(y)))
QUESTION 3 Let • P and Q be two predicate symbols, each with two arguments, •f a function symbol with one argument and • c a constant symbol. • x, y, z are variables [7] For each of the following, state whether it is a term or a well-formed formula (wff) or neither. If it is neither a term nor a wff, state the reason. Question 3.1 P(x, Q(x,y)) Question 3.2 3x 3c P(x, c) Question 3.3 Ey (Q(x, y) ^ (f(x) v f(y))) Question 3.4 P(x, c) v 3x Q(x) Question 3.5 x P(x, f(c)) →→y Q(x, y) Question 3.6 Q(x, f(x))→ P(f(x), y) Question 3.7 f(f(f(y)))