题目内容

谓词命题公式∀x((A(x)∧B(x))∨C(y))中的自由变元为．

查看答案

搜索结果不匹配？点我反馈

更多问题

判断一个语句是否为命题，首先要看它是否为_______，然后再看它是否具有唯一的真值。

换名规则施于______变元。

命题公式所有小项的析取式的真值是________。

量词的消去只能针对_______范式进行。