模块二单元测试
- 谓词公式 $x(F(x)ÙG(x,y)) 不是闭式 ,因为含有自由变元。( )
- 若谓词公式A在某些解释下均为真, 则称A为永真式(也叫逻辑有效式).( )
谓词公式"x(F(x)®G(x))是可满足式。( )
下列公式是谓词公式 xF(x)xG(x) 的前束范式的是( )。
- 对谓词公式"x(F(x,y)®G(x,z)),以下说法正确的是( )。
A:错 B:对
答案:对
A:对 B:错
A:对 B:错
A:xy(F(x) G(y)) B:x(F(x) G(x)) C:x(F(x) G(x)) D:xy (F(x) G(y))
A:辖域中x的出现均为约束出现 B:y与 z 均为自由出现. C:(F(x,y)®G(x,z))为"的辖域 D:第一个x为指导变元
温馨提示支付 ¥3.00 元后可查看付费内容,请先翻页预览!