判断下列各式的类型. (1)F(x y)→(G(x y)→F(x y)). (2)(F(x)→F(x))→y(G(y)∧¬G(y)). (3)F(x y)→F(x y). (

大学 类型 已帮助 人

判断下列各式的类型.

  (1)F(x,y)→(G(x,y)→F(x,y)).

  (2)(F(x)→F(x))→y(G(y)∧¬G(y)).

  (3)F(x,y)→¬F(x,y).

  (4)F(x,y)→¬F(x,y).

  (5)(F(x,y)→F(y,x)).

  (6)¬(¬F(x)→yG(y))∧yG(y).

热搜:x理论和y理论的主要观点