判断下列公式的类型( 式,永假式,可满足式 ) (1) F(x,y)→(G(x,y)→F(x,y)). ( ) (2) " x(F(x)→F(x))→ $ y(G(y)∧¬G(y)).( ) (3) " x $ y F(x,y)→ $ x " yF(x,y). ( ) (4) $ x " y F(x,y)→ " y $ x F(x,y). ( ) (5) " x " y (F(x,y)→F(y,x)). ( ) (6)¬( " xF(x)→ $ yG(y))∧ $ yG(y). ( )
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
微信内点击右上角“…”即可分享
反馈
参考答案:
举一反三
【简答题】Do you know Eskimos? Let me tell you something about their lives. Eskimos live near the North Pole(北极).There are only two seasons there, winter and summer. There is no spring or autumn there. The wint...