COMPUTER SCIENCE MCQS: Consider the first-order logic sentence F: forall x (thereexist y R(x,y)). Assuming non-empty logical domains, which of the sentences below are implied by F? [G17S1Q2]