问答题 试证明命题逻辑永真公式公理系统不是独立的．

问答题 指出下面证明的错误之处： 证明：xP（x）∧xQ（x）→x（P（x）∧Q（x））是永真的． （1）xP（x）∧xQ（x） （2）xP（x） （3）xQ（x） （4）P（e） （5）Q（e） （6）P（e）∧Q（e） （7）x（P（x）∧Q（x））

问答题 设ρ1和ρ2是A上的等价关系，试证明：当且仅当πAρ1中的每一等价类都包含πAρ2的某一等价类中时，有ρ1ρ2。