离散数学定义列表.pdfVIP

A.定义 1. 简单命题/原子命题、复合命题 2. 定义 1.1：否定式、否定联结词 3. 定义 1.2：合取式、合取联结词 4. 定义 1.3：析取式、析取联结词 定义 1.4：蕴含式、前件、后件、蕴含联结词；规定 19.4、20.4 5. 定义 1.5：等价式、等价联结词；规定 6. 联结词的定义（真值表）表 1.1、优先级 7. 命题常项、命题变项（不是命题）、合式公式 8. 定义 1.6：原子命题公式、公式、子公式