填空题
设集合A={a，b，c，d}，A上的二元关系R={（a，b）（b，a）（b，c）（c，d）}，求t（R）=（）。
t（R）={（a，a）（a，b）（a，c）（a，d）（b，a）（b，b）（b，d）（c，d）}
填空题 设n（A）=m，则A 上有（）个不同的自反关系。
问答题 证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式
填空题 判定公式（（P→Q）∧（R→Q））↔（（P∨R）→Q）的类型（）。
