"如果P那么Q"与"P但非Q"的关系是