离散数学10.11数理逻辑

命题和联结词

命题，简单命题，复合命题

否定式，否定联结词

合取式，合取联结词

析取式，析取联结词

蕴涵式，蕴涵联结词

等价式，等价联结词

命题公式极其赋值

命题常项

命题变项

合式公式，命题公式

子公式

命题变项的赋值，成真赋值，成假赋值

重言式，矛盾式，可满足式