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

2022-08-15 01:32 个体