Question

若P则Q的否定是什么?P,非Q还是非P,Q

Answer 1

合论易知）
2.P成立并且Q不成立
PQ均是指命题
P和Q当然是命题，不知你如何理解。你要是在学集合论或数理逻辑书上该有证明。
你可按集合论理解，命题理解为集合。命题P成立理解为存在x属于集合P。
“P=>Q”即x属于P=>x属于Q。即P含于Q。求非就是求补集。非后即P不含于Q。即存在x不属于P属于Q。即P交非Q不空，这就是“P且非Q”。
如果你没学过集合论或数理逻辑建议找书看，在这不好讲的更清楚了。

《数理逻辑》到图书馆借，或者网上搜索pdf格式的电子书，想认真学可以去当当网、卓越网、chinapub等购书网站买本。我是学数学的，其实我也没有系统学习过（没时间）。一般数学书多少都将一些，尤其初学数学分析是需要一些这方面知识的。不过有一些基础基本够用了。

命题是个很广的概念，一个判断就是个命题，所以a=1当然是命题。你说不能知其真假，为什么你不理解为它是一个约束条件呢？

Answer 2

p，非q