在一阶逻辑中将命题符号化时，若没指明个体域，则使用（）个体域。

设A为任意的一阶逻辑公式，若A中（），则称A为封闭的公式。

填空题设A为任意的一阶逻辑公式，若A中（），则称A为封闭的公式。

设F（x）：x具有性质F，G（y）：y具有性质G。命题“若存在x具有性质F，则所有的y都没有性质G”的符号化形...

填空题设F（x）：x具有性质F，G（y）：y具有性质G。命题“若存在x具有性质F，则所有的y都没有性质G”的符号化形式为（）。

对下面给定的群G1和G2，以及f：G1→G2，说明f是否为群G1到G2的同态，如果是，说明能否为单同态、满同态...

问答题

对下面给定的群G₁和G₂，以及f：G₁→G₂，说明f是否为群G₁到G₂的同态，如果是，说明能否为单同态、满同态和同构，求同态像f（G₁）：