![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
[单选题]
消去存在量词时,当()时,用skolem函数
A.存在量词未出现在全称量词的辖域内时
B.存在量词出现在全称量词的辖域内时
C.以上情况都需要
D.以上情况都不需要
查看答案
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)
A.存在量词未出现在全称量词的辖域内时
B.存在量词出现在全称量词的辖域内时
C.以上情况都需要
D.以上情况都不需要
以实数集为个体城,用谓词公式将下列语句形式化
(1)如果两实数的平方和为零;那么这两个实数均为零,
(2)F(x)为一实函数当且仅当对每一实数元都有且只有一个实数y满足y=f(x)(不得使用量词为实函数:可译为
依据《电力设备典型消防规程》(DL5027-2015),当同一场所存在不同类火灾时,应选用不同类型的灭火器。()