填空题
谓词公式∀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）=（）。
填空题 设n（A）=m，则A 上有（）个不同的自反关系。
问答题 证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式
