p假推出q真 的例子 数理逻辑