离散数学

命题与命题公式

定义

**定义1.1 ** 设P为命题、P的否定是一个复合命题、记作?P。符号?称作否定联结词若P为T、?P为F、苦P为F、?P为T、命题?P读作“非P”。
**定义1.2 ** 设P、Q为两个命题，P和Q的合取是一个复合命题，记作PAQ。符号∧称为合取联结词。当且仅当P、Q同时为T时，P∧Q为T，其余情况P∧Q为F。

三级目录∨→