设集合A={a，b，c，d}，A上的二元关系R={（a，b）（b，a）（b，c）（c，d）}，求t（R）=（）。

设n（A）=m，则A 上有（）个不同的自反关系。

填空题设n（A）=m，则A 上有（）个不同的自反关系。

证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式

问答题证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式

判定公式（（P→Q）∧（R→Q））↔（（P∨R）→Q）的类型（）。

填空题判定公式（（P→Q）∧（R→Q））↔（（P∨R）→Q）的类型（）。