离散数学课后习题

一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？(　　　)(1)Q=>Q→P (2)Q=>P→Q (3)P=>P→Q (4)P(PQ)=>P 答：（1），（4）2、下列公式中哪些是永真式