合論易知）
2.P成立并且Q不成立
PQ均是指命題
P和Q當(dāng)然是命題,不知你如何理解.你要是在學(xué)集合論或數(shù)理邏輯書上該有證明.
你可按集合論理解,命題理解為集合.命題P成立理解為存在x屬于集合P.
“P=>Q”即x屬于P=>x屬于Q.即P含于Q.求非就是求補(bǔ)集.非后即P不含于Q.即存在x不屬于P屬于Q.即P交非Q不空,這就是“P且非Q”.
如果你沒學(xué)過集合論或數(shù)理邏輯建議找書看,在這不好講的更清楚了.
《數(shù)理邏輯》到圖書館借,或者網(wǎng)上搜索pdf格式的電子書,想認(rèn)真學(xué)可以去當(dāng)當(dāng)網(wǎng)、卓越網(wǎng)、chinapub等購書網(wǎng)站買本.我是學(xué)數(shù)學(xué)的,其實(shí)我也沒有系統(tǒng)學(xué)習(xí)過（沒時(shí)間）.一般數(shù)學(xué)書多少都將一些,尤其初學(xué)數(shù)學(xué)分析是需要一些這方面知識的.不過有一些基礎(chǔ)基本夠用了.
命題是個(gè)很廣的概念,一個(gè)判斷就是個(gè)命題,所以a=1當(dāng)然是命題.你說不能知其真假,為什么你不理解為它是一個(gè)約束條件呢?