美文网首页
离散数学10.11数理逻辑

离散数学10.11数理逻辑

作者: PhoenixSpirit | 来源:发表于2017-10-11 22:31 被阅读0次

命题和联结词

命题,简单命题,复合命题

否定式,否定联结词

合取式,合取联结词

析取式,析取联结词

蕴涵式,蕴涵联结词

等价式,等价联结词

命题公式极其赋值

命题常项

命题变项

合式公式,命题公式

子公式

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

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

相关文章

网友评论

      本文标题:离散数学10.11数理逻辑

      本文链接:https://www.haomeiwen.com/subject/jvmgyxtx.html