离散数学10.11数理逻辑

命题和联结词

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

否定式，否定联结词

合取式，合取联结词

析取式，析取联结词

蕴涵式，蕴涵联结词

等价式，等价联结词

命题公式极其赋值

命题常项

命题变项

合式公式，命题公式

子公式

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

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

最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

推荐阅读更多精彩内容