离散数学计算机实验报告.pdfVIP

离散实验报告 实验一 真值计算 1、实验目的 熟悉五个常用联结词合取、析取、条件和双条件的概念，掌握真值表技术。 2、实验内容与要求 定义1 设P表示一个命题，由命题联结词┐和命题P连接成┐P ，称┐P为P的否定式复合命题， ┐P读“非 P”。称┐为否定联结词。┐P是真，当且仅当P为假；┐P是假，当且仅当P为真。 定义2 设P和Q为两个命题，由命题联结词∧将P和Q连接成P∧Q ，称P∧Q为命题P和Q的合取式复合命 题，P∧Q读做“P与Q” ，或“P且Q”。称∧为合取联结词。当且仅当P和Q的真值同为真，命题P∧Q的真值才 为真；否则，P∧Q的真值为假。 定义3 设P和Q为两个命题，由命题联结词∨把P和Q连接成P∨Q ，称P∨Q为命题P和Q的析取式复合命 题，P∨Q读做“P或Q”。称∨为析取联结词。当且仅当P和Q的真值同为假，P∨Q的真值为假；否则，P∨Q 的真值为真。 定义4 设P和Q为两个命题，由命题联结词→把P和Q连接成P→Q ，称P→Q为命题P和Q的条件式复合命 题，简称条件命题。P→Q读做“P条件Q”或者“若P则Q”。称→为条件联结词。当P的真值为真而Q的真值 为假时，命题P→Q的真值为假；否则，P→Q的真值为真。 定义5 令P、Q是两个命题，由命题联结词 把P和Q连接成P Q ，称P Q为命题P和Q的双条件式复