在一阶逻辑中将命题符号化时,若没指明个体域,则使用()个体域.

在一阶逻辑中将命题符号化时,若没指明个体域,则使用()个体域.

正确答案:全总;全总个体域

猜你喜欢