首页 › 答案 › 题库 › 超星尔雅学习通未分类

一个简单合取式是矛盾式，当且仅当它同时含有某个命题变元及其否定式。

一个简单合取式是矛盾式，当且仅当它同时含有某个命题变元及其否定式。
A.正确
B.错误
正确答案：A

标签：定式命题矛盾

上一条：一个简单析取式是重言式，当且仅当它同时含有某个命题变元及其否定式。

下一条：析取范式是有限个简单析取式的析取式。