下列关于一阶逻辑中等值演算的说法中正确的有
精华吧→答案→网课

下列关于一阶逻辑中等值演算的说法中正确的有

A、可以使用置换规则

B、命题逻辑中的基本等值式都可以在一阶逻辑等值演算中套用。

C、可以使用换名规则

D、等值关系有对称性和传递性

正确答案：可以使用置换规则|命题逻辑中的基本等值式都可以在一阶逻辑等值演算中套用。|可以使用换名规则|等值关系有对称性和传递性

Tag：逻辑 规则 对称性 时间：2024-04-08 09:29:12

相关答案

热门答案