【单选题】
将命题“小王学过英语和法语”用0 元谓词符号化不合适的是:
①
令 F(x): x 学过英语; G(x): x 学过法语; a: 小王. 符号化为F(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(a)
②
令 F(x): 小王学过x; a: 英语; b: 法语. 符号化为F(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b)
③
令 L(x, y): x 学过 y; a: 小王; b1: 英语; b2: 法语. 则符号化为L(a, b1)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />L(a, b2).
④
令 P: 小王学过英语; Q: 小王学过法语. 符号化为P<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />Q。
【多选题】
遇有下列情形之一时,审计人员应当拒绝出具验资报告并解除业务约定( )。
①
出资者投入的实物、知识产权、土地使用权等资产的价值难以确定
③
外汇管理部门在外方出资情况询证函回函中注明附送文件存在虚假、违规等情况
④
被审验单位减少注册资本或合并、分立时,不按国家有关规定进行公告、债务清偿或提供债务担保
【多选题】
遇有下列情形之一时,审计人员应当拒绝出具验资报告并解除业务约定()。
①
出资者投入的实物、知识产权、土地使用权等资产的价值难以确定
③
外汇管理部门在外方出资情况询证函回函中注明附送文件存在虚假、违规等情况
④
被审验单位减少注册资本或合并、分立时,不按国家有关规定进行公告、债务清偿或提供债务担保