命题和联结词
命题,简单命题,复合命题
否定式,否定联结词
合取式,合取联结词
析取式,析取联结词
蕴涵式,蕴涵联结词
等价式,等价联结词
命题公式极其赋值
命题常项
命题变项
合式公式,命题公式
子公式
命题变项的赋值,成真赋值,成假赋值
重言式,矛盾式,可满足式
命题,简单命题,复合命题
否定式,否定联结词
合取式,合取联结词
析取式,析取联结词
蕴涵式,蕴涵联结词
等价式,等价联结词
命题常项
命题变项
合式公式,命题公式
子公式
命题变项的赋值,成真赋值,成假赋值
重言式,矛盾式,可满足式