问答题 设命题公式￢（P∧（Q→￢P））记做G，使G的真值指派为F的P，Q的真值是下列4个中的哪一个？ （1）（T，F） （2）（F，T） （3）（T，T） （4）（F，F）

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

问答题 指出下面证明的错误之处： 证明：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））