得分 评卷人 三、化简计算题（每小题10分，共50分】 11.判别命题公式(P→Q)∧(Q→P)的类型（永真式、矛盾式或仅可满足式），并指出 该公式的成真赋值. 12.设集合A={a,b,c},已知A上的二元关系R的关系图，如图1，试写出R的集合表达 式，并指出R具有的性质. 图1 13.在图2的四个图中，(1)哪些是强连通图？(2)哪些是单侧连通图？(3)哪些是弱连通 图？ 图2 14.给定解释1如下： ①个体域D是实数集： ②D中特定元素a=0; ③函数f(x,y):x-y: ④谓词F(x,y):x=y,G(x,y):x<y 求在解释I下谓词公式HxHy(F(f(x,y),a)+G(x,y))和VxVy(G(x,y)→F(x, y))的真值 9得 分 评卷人 三、化简计算题(每小题 10分，共50分) 11.判别命题公式(P-'Q) /1( } Q-i } P)的类型(永真式、矛盾式或仅可满足式)，并指出 该公式的成真赋值. 12，设集合 A = {u,b,c}，已知 A上的二元关系R的关系图，如图 1，试写出R的集合表达 式，并指出 R具有的性质. 、 .Jr \ 1 ‘.1 口 r 卜 .口 13.在图 2的四个图中，(1)哪些是强连通图?(2)哪些是单侧连通图?(3)哪些是弱连通 图? b a b a b a d团② 。d区③ ce 乃.口~- ④ } _ “ · 图2 14.给定解释 I如下 : ①个体域 D是实数集; OOU中特定元素a =0; ③函数 f(x,刃 ④谓词 j.(二，y) :x 一 y; :x=y，GCx,y):x< y. 求在解释 I下谓词公式 dxyy(F(f(x,y),u)}G(x,y))和d二d y(G(x, y)--Y , F.(二， y))的真值