logo - 刷刷题
下载APP
【单选题】

在形式系统中,当所有重言式都是定理时,这个形式系统就是( ) 的。

A.
语义完全
B.
有效
C.
可靠
D.
可满足
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三