合取命题的否定命题公式

合取命题的否定命题公式:？(p←→q)”，相当于(？p∧q)∨(p∧？问).

在逻辑学中，命题分为两类:简单命题和复合命题。不同的命题范畴有不同的命题连接词。

首先讨论简单命题的命题连接词。简单命题可以分为直言命题(性质命题)和关系命题两类。直言命题只有两个连词:“是”和“不是”。关系命题中的连词相对较多，只要能表明事物与事物之间的关系，都可以作为命题连词。

否定命题

否定命题是通过否定一个命题而得到的命题，也称为命题的否定。设原命题为P，则该命题的否定命题为“非P”或“非P”。比如原命题是“所有东方考古学家都很擅长研究中国古代史”，其否定命题是“并非所有东方考古学家都很擅长研究中国古代史”。

“不是”叫连词，p是分命题。日常语言表达中，非、非、非、非、非都是非的意思。

否定命题“非p”与其原命题“p”存在矛盾，即当原命题“p”为真时，否定命题“非p”为假，当原命题“p”为假时，为真。