结构推理 命题公式(P∧Q)→P是下列4个中的哪一个?
   (1)永真式；    (2)永假式；
   (3)可满足式；    (4)合取范式．
【正确答案】(P∧Q)→P=￢(P∧Q)∨P=￢P∨￢Q∨P=T，故为(1)永真式．
【答案解析】