真!
“如果P则Q”这样的命题,
P为真,Q为假的时候,命题为假
其余时候（即PQ同真同假或者P假Q真）命题都为真
离散数学?