结构推理 设命题公式¬(P∧(Q→¬P))记做G,使G的真值指派为F的P,Q的真值是下列4个中的哪一个?
   (1)(T,F);    (2)(F,T);
   (3)(T,T);    (4)(F,F).
【正确答案】(1)正确.¬(T∧(F→¬T))=¬(T∧T)=F.
【答案解析】