第二章
的否定式是( ).答案:
谓词公式(x)(P(x))→(z)Q(x,z)∧(y)R(x,y)中变元y( )
答案:是约束变元但不是自由变元
设
：
是鸟，
：
会飞，命题“没有不会飞的鸟”符号化为( )答案:
谓词公式设是永真的. （ ）
答案:错
设个体域是整数集合，P代表，P是假命题. （ ）
答案:对
下列公式是前束范式的是（ ）
答案:
下述推理证明过程中，正确的是（ ）。
答案:
以下谓词推理不正确的是（ ）
答案:
下列推理式不正确的是（ ）
答案:
以下谓词推理说法正确的是（ ）。
答案:
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
