鲁迅的杂文不流于抽象的说理，其议论常常包孕在事实，包孕在具体...其作品具有叙述和议论的形象化的鲜明特征。

当前归结式是（）时，则定理得证。 A: 永真式 B: 包孕式（subsumeD） C: 空了句

当前归结式是（ ）时，则定理得证。 A: 永真式 B: 包孕式（subsumed） C: 空子句

下列关于包孕结构和BDI结构的说法正确的有（ ）。 A: 基于包孕结构的智能体在与环境的交互中基于逻辑推理产生动作 B: 采用包孕结构时，智能体在与环境交互中按照优先级高低顺序激活产生输出的规则 C: BDI结构是一种实现“信念-期望-意图”实证推理逻辑的智能体结构 D: 采用BDI结构时，智能体可以通过与环境交互可以产生新信念、新期望和新意图

反演归结(消解)证明定理时,若当前归结式是()时 A: 永真式 B: 包孕式 C: 空子句 D: 重言式

当前归结式是()时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句 D: 用假式

反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理的证。 A: 空子句 B: 包孕式 C: 永真式

反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句

中国大学MOOC: 鲁迅的杂文不流于抽象的说理，其议论常常包孕在事实，包孕在具体现象的叙述或描写中。他善用比喻，善于刻画否定性的类型形象，联想丰富，触类旁通，往往在具体可感的形象描摹中点铁成金，透露、阐发真知灼见，因此其作品具有叙述和议论的形象化的鲜明特征。

反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 A: A永真式 B: B包孕式 C: C空子句