![](https://lstatic.shangxueba.com/jiandati/pc/images/pc_jdt_tittleico.png)
提问人:网友anonymity
发布时间:2022-01-06
![](https://lstatic.shangxueba.com/jiandati/pc/images/logo2.png)
![判断下列各式的类型. (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). (](https://img2.soutiyun.com/shangxueba/askcard/2024-01/21/775/20240121154803563.jpg)
[主观题]
判断下列各式的类型. (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).
![](https://lstatic.shangxueba.com/jiandati/pc/images/jdt_panel_vip.png)
查看官方参考答案