判断下列各式的类型. (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理论的主要观点
