一命题逻辑的逻辑常项是命题联结词(propositional connectives)。在命题逻辑中,常用的命题联结词主要有五个:否定词、蕴涵词、合取词、析取词、等值词,命题逻辑的所有讨论都围绕着这五个联结词而...
基于10个网页-相关网页
应用推荐
模块上移
模块下移
不移动