离散数学复习重点(1)
命题:能判断真假(在现在或之后某一时刻)的陈述句P⊽Q:P异或Q蕴涵运算p → q表示的逻辑关系是:p是q的充分条件或者q是p的必要条件。“只要p,就q” , “因为p,所以q” , “ p仅当q” 、 “只有q才p”、 “除非q才p”、 “除非q,否则非p” 与自然语言的不同:前件与后件可以没有任何 内在联系!(1) 若公式A是单个命题变项,则称A为0层公式.(2) 称 A 是 n+1(n≥0) 层公式是指下面情况之一: (a) A=┐B, B 是 n 层公式;(A是n+1层) (b) A=B
原创
2022-12-04 18:05:57 ·
1089 阅读 ·
0 评论