NEED HELP WITH THIS EXERCISE

LOGIC MATH

FROM QUESTION 3

1 . Symbolizing statements by O - ary predicates If 24 then 23 2 . Symbolizing the statements by FOL ( 1 ) Not all students are from Thejiang ( 2 ) Somebody do excises everyday ( 3 ) It is not the case that all cars are slower than trains 3 . Symbolizing the statements , and fining the truth values of them ( Assume the domain is R - the set of all real numbers ) ( 1 ) There exists x , such that for each y x y = 0 ( 2 ) For every x , y , xy = 1 x 4 . Finding the quantified variables , the scope of them , and the bound free variables V X Zy ( F ( X , y ) A G ( V , 2 ) ) V 7 * H ( X , Y , 2 ) 51