吧主，你好，我是逻辑学吧里的一个吧友，我想请教你一个问题，可以吗？就是：根据图片下半部分的结论，竟然能够得到上半部分的悖论，真是百思不得其解，请问到底是哪里出错了，怎么会并非（p→q）与p→q共存？【图片】

【非（p→q）】与【p→q】，这二个命题互为矛盾命题。列出真值表，一目了然。
不用百思，可得其解。