【多选题】
将命题“除非李建是东北人, 否则他一定怕冷”用0 元谓词符号化合适的有:
①
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为?F(a)?G(a)
②
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为 ?G(a)?F(a).
③
令 H(x, y): x 是 y 地方人; G(x): x 怕冷; a: 小王; b: 东北. 则符号化为?H(a, b)?G(a) .
④
令 P: 李建是东北人; Q: 他怕冷. 符号化为P ? Q。
【单选题】
将命题“除非李建是东北人, 否则他一定怕冷”用0 元谓词符号化不合适的是:
①
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />G(a)
②
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为 <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />G(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />F(a).
③
令 H(x, y): x 是 y 地方人; G(x): x 怕冷; a: 小王; b: 东北. 则符号化为<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />H(a, b)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />G(a) .
④
令 P: 李建是东北人; Q: 他怕冷. 符号化为P<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> Q。