四川农业大学离散数学课件-第2章命题逻辑.pptxVIP

E6636B02012BD195C019CE06C16E30F4C03D01E32711A616D0819A1D3DE2A8FF8F048803BC41BA96AB44D1F0472B73A72FC0F2BE2AA53BFE6A03217A57F80EFDBF2DB6715F2B3FB877川农业大学《离散数学》 学习要求1 命题联结词、真值规定及真值表的构建2自然语言的命题符号化3 等价定律的运用4 主合取/析取范式的计算5 命题逻辑的推理重点1 自然语言的命题符号化2 极大（小）项编码的理解3 命题公式的等价变形4 推理有效性的判别方法难点E6636B02012BD195C019CE06C16E30F4C03D01E32711A616D0819A1D3DE2A8FF8F048803BC41BA96AB44D1F0472B73A72FC0F2BE2AA53BFE6A03217A57F80EFDBF2DB6715F2B3FB877历史人物数理逻辑是研究演绎推理的一门学科；它是采用数学的方法来研究数学推理、数学性质和数学基础，即引进一套符号体系的方法，所以数理逻辑又叫符号逻辑。莱布尼茨康托尔1646~1716， 德国/item/%E5%93%B2%E5%AD%A6%E5%AE%B6/3968哲学家、数学家，被认为是数理逻辑的创始人。1834~1