谓词演算
参考答案：将谓词逻辑的推理形式和规律组成一个形式化的公理系统即所谓谓词演算。
（）是目前燃气输送及调压器采用最多的阀门。
(A)闸阀
(B)球阀
(C)旋塞阀
(D)截止阀
风湿性心内膜炎最易累及（）
A.主动脉瓣
B.肺动脉瓣
C.二尖瓣
D.三尖瓣
E.以上都是
