你要是在学集合论或数理逻辑书上该有证明。
你可按集合论理解,命题理解为集合。
命题P成立理解为存在x属于集合P。
“P=>Q”即x属于P=>x属于Q。
即P含于Q。
求非就是求补集。
非后即P不含于Q。
即存在x不属于P属于Q。
即P交非Q不空,这就是“P且非Q”。
如果你没学过集合论或数理逻辑建议找书看,在这不好讲的更清楚了。
《数理逻辑》到图书馆借,或者网上搜索pdf格式的电子书,想认真学可以去当当网、卓越网、chinapub等购书网站买本。
我是学数学的,其实我也没有系统学习过(没时间)。
一般数学书多少都将一些,尤其初学数学分析是需要一些这方面知识的。
不过有一些基础基本够用了。
命题是个很广的概念,一个判断就是个命题,所以a=1当然是命题。
你说不能知其真假,为什么你不理解为它是一个约束条件呢? 内容来自网友回答
命题:等腰三角形是直角三角形,其否定形式是: 我的答案是:等腰三角形不是直角三角形 (我是这么想的:原命题是 若a,则b ,那么否定形式是 若a,则-b ,所以a:”等腰三角形“不变,b:”是直角三角形“变为”不是直角三角形“) 但老师说答案是”... 命题:等腰三角形是直角三角形,其否定形式是: 我的答案是:等腰三角形不是直角三角形 (我是这么想的:原命题是 若a,则b ,那么否定形式是 若a,