“如果P那么Q”的逆命题是“如果非P那么非Q”当所有合取支P和Q都为真时，合取命题“P并且Q”为真