浅谈“简易逻辑”中的“否命题”与“非P” |
| |
引用本文: | 刘彦宏.浅谈“简易逻辑”中的“否命题”与“非P”[J].科技咨询导报,2006(14). |
| |
作者姓名: | 刘彦宏 |
| |
作者单位: | 宿迁高等师范专科学校数学系 |
| |
摘 要: | 在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。
|
关 键 词: | 逻辑 例题 |
本文献已被 CNKI 等数据库收录! |
|