Question 1: Let m be a constant, f a function symbol with one argument and S and B two predicate symbols, each with two arguments. The following strings are formulas in predicate logic TRUE or FALSE? [4 marks] i. S(m, x) ii. B(m, f(m)) iii. f(m) iv. B(B(m, x), y) v. S(B(m), z) vi. (B(x, y) (Iz S(z,y))) vii. (S(x, y) + Sty, f(f(x)))) viii. (B(x) B(B(x)))