问答题
试用假设推理证明下面的定理： ￢∃x（F（x）∧H（x））∧∀x（G（x）→H（x））→∀x（G（x）→￢F（x））.
问答题 设有集合A和A上的关系ρ，对所有的ai，aj，ak∈A，若由aiρaj和ajρak可推得akρai，则称关系ρ是循环的，试证明当且仅当ρ是等价关系时，ρ是自反且循环的。
问答题 证明成形括号串的左右括号个数相等。
问答题 试用假设推理证明下面的定理： x（C（x）→W（x）∧R（x））∧x（C（x）∧Q（x））→x（Q（x）∧R（x））.
