1、2022-8-52022-8-5离散数学离散数学1 12022-8-52022-8-5离散数学离散数学2 22022-8-52022-8-5离散数学离散数学3 3数理逻辑的基本内容：数理逻辑的基本内容：命题逻辑命题逻辑(演算演算)、谓词逻辑谓词逻辑。它们对电子元件设计和性质分析，。它们对电子元件设计和性质分析，对逻辑程序设计语言的研制具有十分重要的意对逻辑程序设计语言的研制具有十分重要的意义。义。2022-8-52022-8-5离散数学离散数学4 42022-8-52022-8-5离散数学离散数学5 52022-8-52022-8-5离散数学离散数学6 62022-8-52022-8-5离散数
2、学离散数学7 72022-8-52022-8-5离散数学离散数学8 82022-8-52022-8-5离散数学离散数学9 92022-8-52022-8-5离散数学离散数学10102022-8-52022-8-5离散数学离散数学11112022-8-52022-8-5离散数学离散数学12122022-8-52022-8-5离散数学离散数学13132022-8-52022-8-5离散数学离散数学14142022-8-52022-8-5离散数学离散数学15152022-8-52022-8-5离散数学离散数学1616p qp qp qp q2022-8-52022-8-5离散数学离散数学1717()
3、2022-8-52022-8-5离散数学离散数学18182022-8-52022-8-5离散数学离散数学19192022-8-52022-8-5离散数学离散数学20202022-8-52022-8-5离散数学离散数学21212022-8-52022-8-5离散数学离散数学22222022-8-52022-8-5离散数学离散数学2323()2022-8-52022-8-5离散数学离散数学2424()2022-8-52022-8-5离散数学离散数学2525 2022-8-52022-8-5离散数学离散数学26262022-8-52022-8-5离散数学离散数学27272022-8-52022-8-
4、5离散数学离散数学28282022-8-52022-8-5离散数学离散数学29292022-8-52022-8-5离散数学离散数学3030()()2022-8-52022-8-5离散数学离散数学31312022-8-52022-8-5离散数学离散数学32322022-8-52022-8-5离散数学离散数学33332022-8-52022-8-5离散数学离散数学34342022-8-52022-8-5离散数学离散数学3535置换定理2022-8-52022-8-5离散数学离散数学36362022-8-52022-8-5离散数学离散数学3737 2022-8-52022-8-5离散数学离散数学38
5、38 2022-8-52022-8-5离散数学离散数学39392022-8-52022-8-5离散数学离散数学4040 2022-8-52022-8-5离散数学离散数学4141 2022-8-52022-8-5离散数学离散数学42422022-8-52022-8-5离散数学离散数学4343V1、异或（异或（p、q两个命题中两个命题中有且仅有一个成立有且仅有一个成立”称为称为p与与q的的异或（异或（VVV2022-8-52022-8-5离散数学离散数学44442022-8-52022-8-5离散数学离散数学4545V2022-8-52022-8-5离散数学离散数学4646,，或或 是冗余是冗余,
6、，,，,，2022-8-52022-8-5离散数学离散数学47472022-8-52022-8-5离散数学离散数学4848 2022-8-52022-8-5离散数学离散数学4949定理2022-8-52022-8-5离散数学离散数学50502022-8-52022-8-5离散数学离散数学5151对偶定理2022-8-52022-8-5离散数学离散数学52522022-8-52022-8-5离散数学离散数学53532022-8-52022-8-5离散数学离散数学5454范式存在定理2022-8-52022-8-5离散数学离散数学5555 V2022-8-52022-8-5离散数学离散数学5656
7、2022-8-52022-8-5离散数学离散数学57572022-8-52022-8-5离散数学离散数学58582022-8-52022-8-5离散数学离散数学5959 21nPPP 21nPPP iP iP2022-8-52022-8-5离散数学离散数学60602022-8-52022-8-5离散数学离散数学6161120niim2022-8-52022-8-5离散数学离散数学62622022-8-52022-8-5离散数学离散数学6363120niiM2022-8-52022-8-5离散数学离散数学6464定理2022-8-52022-8-5离散数学离散数学65652022-8-52022
8、-8-5离散数学离散数学66662022-8-52022-8-5离散数学离散数学67672022-8-52022-8-5离散数学离散数学68682022-8-52022-8-5离散数学离散数学69692022-8-52022-8-5离散数学离散数学7070定理定理2022-8-52022-8-5离散数学离散数学71712022-8-52022-8-5离散数学离散数学72722022-8-52022-8-5离散数学离散数学73732022-8-52022-8-5离散数学离散数学74742022-8-52022-8-5离散数学离散数学75752022-8-52022-8-5离散数学离散数学7676
9、kiiimmm,21knjjjmmm 221,knjjjMMM 221,2022-8-52022-8-5离散数学离散数学77772022-8-52022-8-5离散数学离散数学78782022-8-52022-8-5离散数学离散数学79792022-8-52022-8-5离散数学离散数学80802022-8-52022-8-5离散数学离散数学81812022-8-52022-8-5离散数学离散数学82822022-8-52022-8-5离散数学离散数学83832022-8-52022-8-5离散数学离散数学84842022-8-52022-8-5离散数学离散数学85852022-8-52022
10、-8-5离散数学离散数学86862022-8-52022-8-5离散数学离散数学87872022-8-52022-8-5离散数学离散数学88882022-8-52022-8-5离散数学离散数学89892022-8-52022-8-5离散数学离散数学90902022-8-52022-8-5离散数学离散数学91912022-8-52022-8-5离散数学离散数学92922022-8-52022-8-5离散数学离散数学93932022-8-52022-8-5离散数学离散数学94942022-8-52022-8-5离散数学离散数学95952022-8-52022-8-5离散数学离散数学96962022-8-52022-8-5离散数学离散数学9797
