高等学校21卌纪教材 3.公式真值表 定义124对于公式中命题变元的每一种可 能的真值指派,以及由它们确定出的公式真值所 列成的表,称为该公式的真值表。□ 定义125如果B是公式4中的一部分,且B 为公式,则称B是公式4的子公式。□ PT PRESS 人民邮电出版社
３. 定义1.2.4 对于公式中命题变元的每一种可 能的真值指派，以及由它们确定出的公式真值所 列成的表，称为该公式的真值表。 定义1.2.5 如果B是公式A中的一部分，且B 为公式，则称B是公式A的子公式
高等学校21卌纪教材 用归纳法不难证明,对于含有n个命题变元 的公式,有2n个真值指派,即在该公式的真值表 中有2行。□ 为方便构造真值表, 特约定如下: ①命题变元按字典序排列。□ ②对每个指派,以二进制数从小到大或从 大到小顺序列出。口 ③若公式较复杂,可先列出各子公式的真 值(若有括号,则应从里层向外层展开),最后列 出所求公式的真值。□ PT PRESS 人民邮电出版社
用归纳法不难证明，对于含有n个命题变元 的公式，有2 n个真值指派，即在该公式的真值表 中有2 n行。 为方便构造真值表， ① 命题变元按字典序排列。 ② 对每个指派，以二进制数从小到大或从 大到小顺序列出。 ③ 若公式较复杂，可先列出各子公式的真 值(若有括号，则应从里层向外层展开)，最后列 出所求公式的真值
高等学校21卌纪教材 4.命题的符号化一 把一个用文字叙述的命题相应地写成由命题 标识符、联结词和园括号表示的合式公式,称为 命题的符号化。符号化应该注意下列事项: ①确定给定句子是否为命题。□ ②句子中连词是否为命题联结词。□ ③要正确地表示原子命题和适当选择命题 联结词。□ PT PRESS 人民邮电出版社
4. 把一个用文字叙述的命题相应地写成由命题 标识符、联结词和圆括号表示的合式公式，称为 命题的符号化。符号化应该注意下列事项: ① 确定给定句子是否为命题。 ② 句子中连词是否为命题联结词。 ③ 要正确地表示原子命题和适当选择命题 联结词
高等学校21卌纪教材 命题符号化是很重要的,一定要掌握 好,在命题推理中常常最先遇到的就是符 号化一个问题,解决不好,等于说推理的 首要前提没有了。□ PT PRESS 人民邮电出版社
命题符号化是很重要的，一定要掌握 好，在命题推理中常常最先遇到的就是符 号化一个问题，解决不好，等于说推理的 首要前提没有了
高等学校21卌纪教材 1.3公式分类与等价么式 1.公式分类□ 定义131设A为任意公式,则 ①对应每一个指派,公式A均相应确定真 值为真,称A为重言式,或永真式。 ②对应每一个指派,公式A均相应确定真 值为假,称A为矛盾式,或永假式。□ ③至少存在一个指派,公式A相应确定真 值为真,称A为可满足式 PT PRESS 人民邮电出版社
1.3 公式分类与等价公式 １. 定义1.3.1 设 A 为任意公式， ① 对应每一个指派，公式 A 均相应确定真 值为真，称 A 为重言式，或永真式。 ② 对应每一个指派，公式 A 均相应确定真 值为假，称 A 为矛盾式，或永假式。 ③ 至少存在一个指派，公式 A 相应确定真 值为真，称 A 为可满足式