一、知识框架图  二、数理逻辑        1.命题符号化           命题：能判断真假的陈述句           命题包含两个要素：陈述句，能判断真假           命题题符号化的步骤：                                1 )对于不太好理解的联结词或表达方式，如有必要,做适当的文字翻译。                  2 )找出其中所有的原子命题并符号化。                  3 )用适当的联结词将原子命题连接起来，如有必要，在适当位置配上括号。       2.真值表          设A是一命题公式, P1,P2….