Exercise: Let F be {m, f, S, B}, where m is a constant, f is a function symbol with one argument, S is a 2-place predica

[answerhappygod]

Exercise Let F Be M F S B Where M Is A Constant F Is A Function Symbol With One Argument S Is A 2 Place Predica 1 (47.81 KiB) Viewed 45 times

Exercise: Let F be {m, f, S, B}, where m is a constant, f is a function symbol with one argument, S is a 2-place predicate, and B is a 2-place predicate. Are the strings below formulas in predicate logic (x and y are variables)? For any string which is not a formula, specify the reason it is not. If the string is a formula then draw a parse tree repre- senting the formula. (a) B(B(m, x), y) (b) (S(x, y) → S(y, f(f(x))))