Question

考试中！！！！离散数学 考题求助！！！！

Answer 1

1、用附加前提证明法(以下用A代表全称量词)

（1）AxF(x)     附加前提引入

（2）F(y)       （1）UI

（3）Ax(F(x)→R(x))     前提引入

（4）F(y)→R(y)      （3）UI

（5）R(y)        （2）（4）假言推理

（6）AxR(x)     （5）UG

2、关系图如下。

等价类有3个：[1]=[2]={1,2}，[3]=[4]={3,4}，[5]={5}

关系图有三个连通分支，每一个分支的结点组成一个等价类。