更新时间:2022-12-03 17:40 目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。 造句词语 目前造句 领域造句 人工智能造句 有效造句 谓词造句 成为造句 不是造句 模态逻辑造句 工具造句 以及造句 其他造句 命题造句 计算机科学造句