被离散…离散数学塞满了大脑🥵，一堆概念😡，脑子干烧了😫，我给大家说道说道：
命题、真命题、假命题、简单命题、原子命题、复合命题😦
真值、悖论😣
否定式、否定联结词、合取式、合取联结词、析取式、析取联结词、蕴涵式、蕴涵联结词、等价式、等价联结词😞
相容或、排斥或、前件、后件😓
命题常量、命题常元、命题变项、命题变元😔
合式公式、命题公式、公式、子公式😩
赋值、解释、成真赋值、成假赋值、真值表😫
重言式、永真式、矛盾式、永假式、可满足式、等值式😅
双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴涵等值式、等价等值式、假言易位、等值否定等值式、归谬论、置换规则😖
析取范式、合取范式、范式、范式存在定理、主范式、主析取范式、主合取范式😱
上了第五节课，受不了了😅😅😅