A. 45-35亿年之间 B. 138-100亿年之间 C. 100-45亿年之间 D. 138亿年以前
A. 价值理性 B. 方法理性 C. 认知理性 D. 知识理性
A. 永真式 B. 包孕式(subsumed) C. 空子句
A. 附加律 B. 拒收律 C. 假言推理 D. US
A. 最一般合一 B. 最一般替换 C. 最一般谓词 D. 基替换