谓词公式∀x （¬P（x）→¬P（x））是（），∀xP（x）→∃xP（x）是（）。（填逻辑有效式或矛盾式）

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

填空题设集合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是重言式