A.矛盾式B.可满足式C.重言式D.合取范式命题公式（P∨Q）→Q为（）……

单项选择题设无向图G的邻接矩阵为则G的边数为（）

A.1
B.6
C.7
D.14

判断题设A={1，2}上的二元关系为R={丨x∈A，y∈A，x+y=10}，则R的自反闭包为{，}。（）

判断题若偏序集< A，R>的哈斯图如图所示，则集合A的最大元为a，极小元不存在。（）

单项选择题设集合A={2，4，6，8}，B={1，3，5，7），A到B的关系R={丨y=x+1}，则R=（）

A.{< 2,3>，< 4,5>，< 6,7>}
B.{< 2,1>，< 4,3>，< 6,5>}
C.{< 2,1>，< 3,2>，< 4,3>}
D.{< 2,2>，< 3,3,>，< 4,6>}

单项选择题设集合A={1，a}，则P（A）=（）

A.{{1}，{a}}
B.{∅，{1}，{a}}
C.{∅，{1}，{a}，{1，a}}
D.{{1}，{a}，{1，a}}