谓词逻辑
参考答案:就是把简单命题进而分析为其主项、谓项和量项并借以研究命题的形式结构及其推理的规律与规则的逻辑演算理论。
A.I= ,从上向下
B.I= ,从上向下
C.I= ,从下向上
D.I= ,从下向上
高强螺栓接触面间隙如何处理?