1数理逻辑命题逻辑命题 p,q,r,s„„非真即假的陈述句命题的真值 01命题的陈述句所表达的判断结果原子命题（简单命题）不能被分解成更简单的命题简单命题通过联结词联结而成的命题，称为复合命题命题的符号化 p:4 是素数用小写英文字母（如 p:4 是素数）表示命题。用小写英文字母（如 p：4 是素数）表示原子命题，用联结词联结原子命题表示复合命题。联结词否定连接词」否 p 为真当且仅当 p 为假合取联结词人p 合取 q 为真当且仅当 p，q 同时为真（复合命题“P 并且 q”称为 p 与 q 的合取式）析取联结词 Vp 析取 q 为假当且仅当 p，q 同时为假（复合命题“p 或 q”称为 p 与 q 的析取式）2蕴含连接词 fp 蕴含 q 为假当且仅当 p 为真，q 为假。（复合命题“如果 p,则 q”（因为 p 所以 q,除非 q才 p）称为 p 与 q 的蕴含式，p 是蕴含式的前件，q 是蕴含式的后件）q 是 p 的必要条件。等价联结词p 等价 q 当且仅当，同时为真或假。（复合命题“p 当且仅当 q”称作 p 与 q 的等价式）真值表gPAQPVflpfg011111i0110Q100C10110000011命题公式及其赋值命题常项原子命题（简单命题）的另一称呼，由于其真值确定命题变项真值可以变化的陈述句合式公式（命题公式）A,B命题变项用联结词和圆括号用一定逻辑关系连接起来的符号串，简称公式赋值（解释）给公式 A 中的每个命题变项各指定一个真值。这组值使 A 为 1，则称为成真赋值。含 n 个命题变项的公式有 2 的 n 次方个不同赋值。3含 n 个命题变项的公式有 2 的 2 的 n 次方个不同真值表情况。重言式（永真式）命题公式 A 在各种赋值下取值均为真矛盾式（永假式）命题公式 A 在各种赋值下取值均为假可满足式命题公式 A 至少存在一个成真赋值哑元对公式 A 和 B 进行比较讨论，可知 A 和 B 共含有 n 个命题变项，其中 A 不含有的命题变项称为 A 的哑元，其取值不影响 A 的值命题逻辑等值演算等值式 Q如果命题 A 和 B 有相同的真值表，则有命题 A-B 为重言式,这种情况下称 A 与 B 是等值的，记作 AoB（重要）等值式模式常用的 16 条命题间的等值模式，书 p18析取范式与合取范式文字命题变项及其否定的统称简单析取式，简单合取式由有限个文字构成的析取式，合取式析取范式，合取范式4由有限个简单合取式的析取构成的命题公式，称为析取范式。同理为合取范式。命题公式的析取或合...
