用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
参考答案：删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
关于增额定期保险选择权，下列说法不正确的是( )。
A．在增额定期保险选择权下，保险人将保单红利作为趸缴净保费购买同一被保险人的一年定期寿险
B．在增额定期保险选择权下，投保人每年可以购买的一年定期保险的最高保额不能超过保单现金价值
C．如果投保人把其他红利选择权转变为增额定期保险选择权，投保人无需向保险人提供可保证明
D．如果年度保单红利超过了购买一年定期保险的最高限额(一般等于保单现金价值)所需的保费，那么保险公司将根据其他红利选择权来处理超额部分
代建制
