【多选题】
将命题“小王学过英语和法语”用0 元谓词符号化合适的有:
①
令 F(x): x 学过英语; G(x): x 学过法语; a: 小王. 符号化为F(a)ùG(a)
②
令 F(x): 小王学过x; a: 英语; b: 法语. 符号化为F(a)ùF(b)
③
令 L(x, y): x 学过 y; a: 小王; b1: 英语; b2: 法语. 则符号化为L(a, b1)ùL(a, b2).
④
令 P: 小王学过英语; Q: 小王学过法语. 符号化为PùQ。
【单选题】
将命题“小王学过英语和法语”用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。