Q02

MCQ1 mark, −0.33

Consider the first-order logic sentence $F:\forall x(\exists yR(x,y))$ . Assuming non-empty logical domains, which of the sentences below are implied by $F$ ? IV only I and IV only II only II and III only

(A)

$\exists y(\exists xR(x,y))$

(B)

$\exists y(\forall xR(x,y))$

(C)

$\forall y(\exists xR(x,y))$

(D)

$¬\exists x(\forall y¬R(x,y))$

Loading…