关于命题的知识,p或q 上面加一个横线是什么意思?如图.