合论易知）

　　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当然是命题.你说不能知其真假,为什么你不理解为它是一个约束条件呢?