When using the finite universe method for a two-object universe (containing a and b), the statement ($x) Fx would be translated as
A) Fa ⋁ Fb.
B) Fa • Fb.
C) Fa.
D) Fb.

Question

When using the finite universe method for a two-object universe (containing a and b), the statement ($x) Fx would be translated as
A) Fa ⋁ Fb. 
B) Fa • Fb.
C) Fa.
D) Fb.

Quizplus · Accepted Answer

In a two-object universe, the existential quantifier ($x) Fx means that at least one of the objects satisfies the predicate F, which translates to Fa ⋁ Fb.

When Using the Finite Universe Method for a Two-Object Universe