网站首页 百科知识
量词在一公式中约束的范围。如:∀xF(x)中,F(x)为全称量词∀x的辖域;∃x(F(x)∧G(x))→H(g)中,F(x)∧G(x)为存在量词∃ x的辖域。
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。