谓词逻辑：符号化'x与所有人相处融洽'

谓词F解释为：当x和y相处融洽时，F(xy)为1，否则为0。那么当个体域是人类时，'x和所有人相处融洽'符号化为：∀y(F(xy)=1)，其中y是所有人类个体，x是被约束的个体。

原文地址: https://www.cveoy.top/t/topic/nUof 著作权归作者所有。请勿转载和采集!