问答题 试用假设推理证明下面的定理： ￢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，则称关系ρ是循环的，试证明当且仅当ρ是等价关系时，ρ是自反且循环的。

问答题 证明成形括号串的左右括号个数相等。