设个体域D={a，b，c}，消去下式的量词
xF（x）→yG（y）

设个体域D={a，b，c}，消去下式的量词
xy（F（x）∨G（y））

设个体域D={a，b，c}，消去下式的量词
xy(F(x)∧G(y))

确定以下命题是否为真。
{}

确定以下命题是否为真。
∈

确定以下命题是否为真。
{a,b}{a,b,{{a,b}}}

确定以下命题是否为真。
{a，b}∈{a，b，c，{a，b}}

确定以下命题是否为真。

用列元素表示以下集合：
S₅={<x,y>|x，y∈Z∧0≤x≤2∧-1≤y≤0}