设A和B是含有n个命题变元的公式,A?B,当且仅当A?B是可满足式?


设A和B是含有n个命题变元的公式,A?B,当且仅当A?B是可满足式?

A.错误

B.正确

正确答案:A


Tag:命题 公式 时间:2023-02-21 21:56:53