离散数学复习知识点（期末不挂科系列）

注意：y正确，x错误

陆小马公号众送你必过考试题

１、命题都是陈述句y    
２、命题公式包括矛盾式和可满足式两类y 
３、命题是０元谓词， ０元谓词不一定是命题y 
４、两个命题公式等值就是在同一组赋值下同真值y 
５、任一命题公式都存在唯一的两种范式x(唯一的主范式y )
６、任一谓词公式都存在唯一的前束范式x
７、含n个命题变元的所有命题公式的主析取范式最多有有限种，
并且为2的2的n次方                   y 
８、命题公式之间的等值关系是等价关系(偏序关系) y     ( x)
 9、p->q的逻辑关系为q是p的充分条件（必要条件、充要条件）x（y、x）
10、任意一个命题公式的赋值不是成真赋值就是成假赋值y
11、真值表是表示命题公式的一种方式  y
12、任意一个命题公式的层数都为正整数  x(整数 y)
13、同一个命题公式的形式可能既是析取范式又是合取范式y
14、同一个命题公式可能既是主析取范式又是主合取范式y（A=p）
15、一个命题公式有唯一的极小项并且有唯一的极大项y
16、一个正确的推理其结论未必是真命题y
17、推理定律对应的公式都是永真式y
18、　封闭的公式在一确定解释下，其真值是唯一的y
19 、同一个命题符号化后的形式可能不唯一y
20、顶点之间的连通关系是等价关系(偏序关系) y     ( x)
21、有向图中顶点之间的相互可达关系是等价关系(偏序关系) y  ( x)
22、图之间的同构关系是等价关系(偏序关系) y     ( x)