计算机工程与科学2023，Vol.45Issue(6)：1134-1140,7.DOI:10.3969/j.issn.1007-130X.2023.06.021
命题逻辑中一种矛盾体生成新方法
A new contradiction generation method in propositional logic
摘要
关键词
命题逻辑/矛盾体/矛盾体的复合性质/不可满足性分类
信息技术与安全科学引用本文复制引用
黎兴玉,何星星,马雪,李莹芳..命题逻辑中一种矛盾体生成新方法[J].计算机工程与科学,2023,45(6):1134-1140,7.基金项目
国家自然科学基金(62106206) （62106206）
教育部人文社科项目(19YJCZH048,20XJCZH016) （19YJCZH048,20XJCZH016）
中央高校基本科研业务费专项资金(2682020ZT107) （2682020ZT107）
